\frac{35}{\sin(\alpha)}=\frac{25}{2\sin(\alpha)\cos(\alpha)}