Inellipse Foci

Geometry Level 5

The triangle A B C ABC has sides B C = 52 BC = 52 cm, A C = 25 AC = 25 cm and A B = 63 AB = 63 cm. The point P P lies inside the triangle A B C ABC , and X X is the foot of the perpendicular from P P to the line A B AB . The lengths A X AX and X P XP are equal to 22 22 cm and 16 16 cm respectively. There exists a unique inellipse, tangent to all three sides of the triangle, which has P P as one focus. Let Q Q be the other focus, and let the foot of the perpendicular from Q Q to the line A B AB be Y Y . It can be shown that the distances A Y AY and Y Q YQ are equal to u w \frac{u}{w} cm and v w \frac{v}{w} cm respectively, where u , v , w u,v,w are positive integers and w w is prime. What is the value of ( u + v ) w (u+v)w ?


The answer is 51.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Jul 13, 2020

The key geometrical fact behind this question is the fact that P P and Q Q are isogonal conjugates, so that the ray A Q AQ is the reflection of the ray A P AP in the angle bisector of A A , and similarly for the other two angles of the triangle. This result is worth proving in detail. Suppose that A B C ABC is any triangle, and that P , Q P,Q are isogonal conjugate points inside the triangle. Let the feet of the three perpendiculars from P P to the sides of the triangle be D , E , F D,E,F , and let the feet of the perpendiculars from Q Q to the three sides of the triangle be D , E , F D',E',F' , as indicated. Let K K be the intersection of E F EF and A Q AQ . Now A F P E AFPE is a cyclic quadrilateral, and hence A E F = A P F \angle AEF = \angle APF . Since P , Q P,Q are isogonal conjugates, P A F = K A E \angle PAF = \angle KAE , so triangles A F P AFP and A K E AKE are similar, and hence A K E = A F P = 9 0 \angle AKE = \angle AFP = 90^\circ . Thus A Q AQ is orthogonal to E F EF . Thus we deduce that E E Q K EE'QK is a cyclic quadrilateral, and hence the Intersecting Chords Theorem tells us that A E A E = A K A Q AE\cdot AE’ = AK\cdot AQ . Similarly F F Q K FF'QK is cyclic, and hence A F A F = A K A Q AF\cdot AF’ = AK\cdot AQ . Thus we deduce that A E A E = A F A F AE\cdot AE' = AF \cdot AF' , and hence E F F E EFF'E' is cyclic, and its circumcircle has as centre the intersection of the perpendicular bisectors of E E EE' and F F FF' , namely the midpoint M M of P Q PQ . We can similarly show that D D F F DD'F'F and D D E E DD'EE' are cyclic quadrilaterals, and hence we deduce that D , D , E , E , F , F D,D',E,E',F,F' all lie on the same circle, which has centre at M M . This result is normally phrased by saying that the pedal circles of P P and Q Q are the same. Applying the homothety H ( P , 2 ) H(P,2) (the enlargement with centre P P and scale factor 2 2 ), we see that Q Q is the centre of the circumcircle of the three points D 1 , E 1 . F 1 D_1,E_1.F_1 which are the reflections of the point P P in the three sides of the triangle A B C ABC (this homothety maps D , E , F D,E,F to D 1 , E 1 , F 1 D_1,E_1,F_1 , and maps M M to Q Q ).

If R R is the radius of the common pedal circle of P P and Q Q , then the locus of the points X X such that X P + X Q = 2 R XP + XQ = 2R is the desired inellipse with foci P , Q P,Q . Conversely, if P P is the focus of an inellipse, then the second focus must be equidistant from D 1 , E 1 , F 1 D_1,E_1,F_1 , and hence must be the centre of the circumcircle of D 1 E 1 F 1 D_1E_1F_1 . From the above it follows that the second focus must be the isogonal conjugate of P P . It is interesting to note that the inellipse is tangential to the common pedal triangle at the ends of its major axis.

It is a standard result that if ( u , v , w ) (u,v,w) are the barycentric coordinates of a point, then ( a 2 u 1 , b 2 v 1 , c 2 w 1 ) (a^2u^{-1},b^2v^{-1},c^2w^{-1}) are the barycentric coordinates of its isogonal conjugate.

On to the main problem. Set up Cartesian coordinates such that A A is at the origin and B B lies on the positive x x -axis. Then we have coordinates A ( 0 , 0 ) A\;(0,0) , B ( 63 , 0 ) B\;(63,0) , C ( 15 , 20 ) C\;(15,20) and P ( 22 , 16 ) P\;(22,16) . The area of the triangle A B C ABC is 630 630 cm 2 {}^2 . Calculating the areas of P B C PBC , P A C PAC and P A B PAB , we deduce that P P has absolute barycentric coordinates ( 26 , 100 , 504 ) (26,100,504) . Thus the absolute barycentric coordinates of Q Q are ( λ 5 2 2 26 , λ 2 5 2 100 , λ 6 3 2 504 ) = ( 104 λ , 25 4 λ , 63 8 λ ) \left(\lambda\tfrac{52^2}{26},\lambda\tfrac{25^2}{100},\lambda\tfrac{63^2}{504}\right) \; = \; \left(104\lambda,\tfrac{25}{4}\lambda,\tfrac{63}{8}\lambda\right) where λ \lambda is such that the three coordinates sum to 630 630 . Thus we deduce that λ = 16 3 \lambda = \tfrac{16}{3} , and hence that the absolute barycentric coordinates of Q Q are ( 1664 3 , 100 3 , 42 ) (\tfrac{1664}{3},\tfrac{100}{3},42) . Then 42 = 1 2 × 63 × y 42 = \tfrac12 \times 63 \times y , so that y = 4 3 y = \tfrac43 , while 100 3 = 1 2 ( 20 x 15 y ) = 10 x 10 \tfrac{100}{3} = \tfrac12(20x - 15y) = 10x - 10 , so that x = 13 3 x = \tfrac{13}{3} . Thus the coordinates of Q Q are ( 13 3 , 4 3 ) (\tfrac{13}{3},\tfrac{4}{3}) , and hence the answer is ( 13 + 4 ) × 3 = 51 (13 + 4) \times 3 = \boxed{51} .

Log in to reply

This is pretty much the same proof, save it uses a bit of trig rather than the first two instances of the Intersecting Chords Theorem.

Mark Hennings - 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...