|
PROVE IT
Let P be an arbitrary point inside a plane triangle rABC, PE, PF, PG be perpendiculars dropped from P to the sides AC, BC, AB respectively, r1, r2, r3 be the lengths of these perpendiculars, and p be the perimeter of rEFG.
Prove that (r1 + r2 )cos(C/2) + (r1 + r3 )cos(A/2) + (r2 + r3 )cos(B/2) £ p.
Solution
ÐC + ÐCEF + ÐEFC = p
ÐCEF + ÐFEP = p/2 and ÐEFC + ÐPFE = p/2
so ÐC + ÐCEF + ÐEFC = ÐCEF + ÐFEP + ÐEFC + ÐPFE so ÐC = ÐFEP + ÐPFE
so ÐC + ÐFPE = p so ÐFPE = p - ÐC
cos(p - C ) = cos C
Law of Cosines:
(EF)2 = r12 + r22 - 2r1 r2 cos(p - C) = r12 - 2 r1 r2 + r22 + 2 r1 r2 - 2r1 r2 cos C =
(r1 - r2)2 + 2r1 r2 (1 + cos C)
since cos2x = ½ + ½ cos 2x (half-angle formula)
= (r1 - r2)2 + 2r1 r2 (2 cos2 (C/2)) = (r1 - r2)2 + 4r1 r2 cos2 (C/2)
³ (r1 - r2)2 cos2 (C/2) + 4 r1 r2 cos2 (C/2)
since cos2x £ 1
= (r1 + r2)2 cos2 (C/2)
So, EF ³ (r1 + r2) cos (C/2)
Use similar arguments for FG and EG and add them.
|
|