ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3504 on R5127: Fundamental theorem of real trigonometry
P3504
This result is a particular case of R5126: Fundamental theorem of complex trigonometry. $\square$