Difference between revisions of "1970 IMO Problems/Problem 5"
Line 15: | Line 15: | ||
= CD^2,</math> so <math>CE^2 = CD^2 + DE^2</math>, so angle <math>CDE = 90^{\circ}</math>. But angle <math>CDB = 90^{\circ}</math>, so <math>CD</math> is | = CD^2,</math> so <math>CE^2 = CD^2 + DE^2</math>, so angle <math>CDE = 90^{\circ}</math>. But angle <math>CDB = 90^{\circ}</math>, so <math>CD</math> is | ||
perpendicular to the plane <math>DAB</math>, and hence angle <math>CDA</math> = <math>90^{\circ}</math>. Similarly, angle <math>ADB = 90^{\circ}</math>. | perpendicular to the plane <math>DAB</math>, and hence angle <math>CDA</math> = <math>90^{\circ}</math>. Similarly, angle <math>ADB = 90^{\circ}</math>. | ||
− | Hence <math>AB^2 + BC^2 + CA^2 = 2(DA^2 + DB^2 + DC^2)</math>. But now we are done, because Cauchy's | + | Hence <math>AB^2 + BC^2 + CA^2 = 2(DA^2 + DB^2 + DC^2)</math>. |
− | inequality | + | |
− | + | But now we are done, because Cauchy's inequality (applied to vectors <math>(AB, BC, CA)</math> and <math>(1, 1, 1)</math>) | |
− | we have equality in Cauchy's inequality, which means <math>AB = BC = CA.</math> | + | gives <math>(AB + BC + CA)^2 \le 3(AB^2 + BC^2 + CA^2)</math>. |
+ | |||
+ | We have equality if and only if we have equality in Cauchy's inequality, which means <math>AB = BC = CA.</math> | ||
Revision as of 16:38, 6 December 2024
Problem
In the tetrahedron , angle is a right angle. Suppose that the foot of the perpendicular from to the plane in the tetrahedron is the intersection of the altitudes of . Prove that
.
For what tetrahedra does equality hold?
Solution
Let us show first that angles and are also right. Let be the intersection of the altitudes of and let meet at . Planes and are perpendicular and is perpendicular to the line of intersection . Hence is perpendicular to the plane and hence to . So Also Therefore But so , so angle . But angle , so is perpendicular to the plane , and hence angle = . Similarly, angle . Hence .
But now we are done, because Cauchy's inequality (applied to vectors and ) gives .
We have equality if and only if we have equality in Cauchy's inequality, which means
1970 IMO (Problems) • Resources | ||
Preceded by Problem 4 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 6 |
All IMO Problems and Solutions |