MathLabs

Problem 5

In tetrahedron ABCDABCD, ∠BDC=90∘\angle BDC=90^\circ. The foot HH of the perpendicular from DD to plane ABCABC is the intersection of the altitudes of △ABC\triangle ABC. Prove that (AB+BC+CA)2≤6(AD2+BD2+CD2)(AB+BC+CA)^2\le6(AD^2+BD^2+CD^2). For what tetrahedra does equality hold?
Step 4 of 4: Apply Cauchy–Schwarz and identify equality
(AB+BC+CA)2≤3(AB2+BC2+CA2)=6(AD2+BD2+CD2)(AB+BC+CA)^2\le3(AB^2+BC^2+CA^2)=6(AD^2+BD^2+CD^2)
Detailed analysis

Cauchy–Schwarz applied to (AB,BC,CA)(AB,BC,CA) and (1,1,1)(1,1,1) gives (AB+BC+CA)2≤3(AB2+BC2+CA2)(AB+BC+CA)^2\le3(AB^2+BC^2+CA^2). Using the identity above proves the required inequality. Equality holds exactly when AB=BC=CAAB=BC=CA, so the base triangle ABC is equilateral.