Problem

Source:

Tags: algebra, trigonometry



It is known that $\frac{7}{13} + \sin \phi = \cos \phi$ for some real $\phi$. What is sin $2\phi$?