Lieb's Square Ice Theorem (PDF). Ivan Niven. Averages of exponents in factoring integers (PDF). Jean-Pierre Serre Teorema ekuipartisi Annalen der Physik. 141: 124–130. (Jerman) Clausius, RJE (1870).
The angle bisector theorem is commonly used when the angle bisectors and side lengths are known. It can be used in a calculation or in a proof. An immediate consequence of the theorem is that the ...