has sides cm, cm and cm. The point lies inside the triangle , and is the foot of the perpendicular from to the line . The lengths and are equal to cm and cm respectively. There exists a unique inellipse, tangent to all three sides of the triangle, which has as one focus. Let be the other focus, and let the foot of the perpendicular from to the line be . It can be shown that the distances and are equal to cm and cm respectively, where are positive integers and is prime. What is the value of ?
The triangle
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.
The key geometrical fact behind this question is the fact that P and Q are isogonal conjugates, so that the ray A Q is the reflection of the ray A P in the angle bisector of A , and similarly for the other two angles of the triangle. This result is worth proving in detail. Suppose that A B C is any triangle, and that P , Q are isogonal conjugate points inside the triangle. Let the feet of the three perpendiculars from P to the sides of the triangle be D , E , F , and let the feet of the perpendiculars from Q to the three sides of the triangle be D ′ , E ′ , F ′ , as indicated. Let K be the intersection of E F and A Q . Now A F P E is a cyclic quadrilateral, and hence ∠ A E F = ∠ A P F . Since P , Q are isogonal conjugates, ∠ P A F = ∠ K A E , so triangles A F P and A K E are similar, and hence ∠ A K E = ∠ A F P = 9 0 ∘ . Thus A Q is orthogonal to E F . Thus we deduce that E E ′ Q K is a cyclic quadrilateral, and hence the Intersecting Chords Theorem tells us that A E ⋅ A E ’ = A K ⋅ A Q . Similarly F F ′ Q K is cyclic, and hence A F ⋅ A F ’ = A K ⋅ A Q . Thus we deduce that A E ⋅ A E ′ = A F ⋅ A F ′ , and hence E F F ′ E ′ is cyclic, and its circumcircle has as centre the intersection of the perpendicular bisectors of E E ′ and F F ′ , namely the midpoint M of P Q . We can similarly show that D D ′ F ′ F and D D ′ E E ′ are cyclic quadrilaterals, and hence we deduce that D , D ′ , E , E ′ , F , F ′ all lie on the same circle, which has centre at M . This result is normally phrased by saying that the pedal circles of P and Q are the same. Applying the homothety H ( P , 2 ) (the enlargement with centre P and scale factor 2 ), we see that Q is the centre of the circumcircle of the three points D 1 , E 1 . F 1 which are the reflections of the point P in the three sides of the triangle A B C (this homothety maps D , E , F to D 1 , E 1 , F 1 , and maps M to Q ).
If R is the radius of the common pedal circle of P and Q , then the locus of the points X such that X P + X Q = 2 R is the desired inellipse with foci P , Q . Conversely, if P is the focus of an inellipse, then the second focus must be equidistant from D 1 , E 1 , F 1 , and hence must be the centre of the circumcircle of D 1 E 1 F 1 . From the above it follows that the second focus must be the isogonal conjugate of 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 ) are the barycentric coordinates of a point, then ( a 2 u − 1 , b 2 v − 1 , c 2 w − 1 ) are the barycentric coordinates of its isogonal conjugate.
On to the main problem. Set up Cartesian coordinates such that A is at the origin and B lies on the positive x -axis. Then we have coordinates A ( 0 , 0 ) , B ( 6 3 , 0 ) , C ( 1 5 , 2 0 ) and P ( 2 2 , 1 6 ) . The area of the triangle A B C is 6 3 0 cm 2 . Calculating the areas of P B C , P A C and P A B , we deduce that P has absolute barycentric coordinates ( 2 6 , 1 0 0 , 5 0 4 ) . Thus the absolute barycentric coordinates of Q are ( λ 2 6 5 2 2 , λ 1 0 0 2 5 2 , λ 5 0 4 6 3 2 ) = ( 1 0 4 λ , 4 2 5 λ , 8 6 3 λ ) where λ is such that the three coordinates sum to 6 3 0 . Thus we deduce that λ = 3 1 6 , and hence that the absolute barycentric coordinates of Q are ( 3 1 6 6 4 , 3 1 0 0 , 4 2 ) . Then 4 2 = 2 1 × 6 3 × y , so that y = 3 4 , while 3 1 0 0 = 2 1 ( 2 0 x − 1 5 y ) = 1 0 x − 1 0 , so that x = 3 1 3 . Thus the coordinates of Q are ( 3 1 3 , 3 4 ) , and hence the answer is ( 1 3 + 4 ) × 3 = 5 1 .