Источник TeX:

\frac{EC}{sin( \angle EFC)}=\frac{EF}{sin( \angle ECF)}=\frac{FC}{sin( \angle FEC)}=2R