Proof Companion
Random proof
Theorems glossary
"inequalities"
Heron's proof of the Triangle Inequality Theorem
No.63
Triangle side inequalities
No.64