Формули Мольвейде

Розглянемо виведення тільки першого співвідношення, оскільки друге доводиться аналогічно.

${\displaystyle {\frac {a+b}{c}}={\frac {\operatorname {cos} \;{\frac {A-B}{2}}}{\operatorname {sin} \;{\frac {C}{2}}}};}$

З теореми синусів:

${\displaystyle {\frac {a}{\sin A}}={\frac {b}{\sin B}}={\frac {c}{\sin C}}}$

маємо:

${\displaystyle {\frac {a}{c}}={\frac {\sin A}{\sin C}}}$

${\displaystyle {\frac {b}{c}}={\frac {\sin B}{\sin C}}}$

звідки випливає:

${\displaystyle {\frac {a+b}{c}}={\frac {\sin A+\sin B}{\sin C}}}$

Враховуючи формули подвійного кута для синуса:

${\displaystyle \sin C=2\sin {\frac {C}{2}}\cos {\frac {C}{2}}}$,

а також формули для суми синусів:

${\displaystyle \sin A+\sin B=2\sin {\frac {A+B}{2}}\cos {\frac {A-B}{2}}}$

маємо:

${\displaystyle {\frac {a+b}{c}}={\frac {\sin A+\sin B}{\sin C}}={\frac {\sin {\frac {A+B}{2}}\cos {\frac {A-B}{2}}}{\sin {\frac {C}{2}}\cos {\frac {C}{2}}}}}$

За теоремою про суму кутів трикутника:

${\displaystyle C=\pi -(A+B)}$

звідки, з урахуванням формул зведення для косинуса випливає, що:

${\displaystyle \cos {\frac {C}{2}}=\cos {\frac {\pi -(A+B)}{2}}=\sin {\frac {A+B}{2}}}$

як наслідок, маємо:

${\displaystyle {\frac {a+b}{c}}={\frac {\cos {\frac {A-B}{2}}}{\sin {\frac {C}{2}}}}}$