In a non-isoceles triangle let and be the circumcenter and the incenter respectively. Let be the midpoints of the sides respectively. Let be the foot of perpendicular from to , be the circumcenter of triangle , and be the midpoint of . If are collinear, the maximum possible value of is , where is not divisible by the square of any prime and and are relatively prime positive integers. Determine the value of .
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.
What a funny problem.
Under the given conditions, it turns out that O D A O − A T B C is a CONSTANT. Furthermore, the value of this constant is 4 . In other words, "maximum possible" and the c a b form of the answer are both COMPLETELY unnecessary. I suspect the problem is written in this way to prevent fakesolving.
Anyways, here is the solution. Let H be the orthocenter of triangle A B C . Furthermore, let O ′ be the reflection of O over line B C . Since triangle D E F is similar to triangle A B C with similarity ratio 2 1 and O is the orthocenter of triangle D E F , it follows that O D = 2 A H . Therefore, O O ′ = A H . Now since P is the nine-point center of triangle A B C , it follows that P is the midpoint of segment O H . In conjunction with A H ∥ O O ′ , we deduce that A , P , O ′ are collinear. Since A , P , Q are collinear, it follows that P , Q , O ′ are collinear.
Now let A ′ ≡ A be the second intersection of line A I with the circumcircle of triangle A B C . O , D , O ′ , A ′ are collinear on the perpendicular bisector of segment B C . By Menelaus's Theorem, A I A A ′ ⋅ Q O Q I ⋅ O ′ A O ′ O = 1 . Since Q is the midpoint of segment O I , it follows that A I A A ′ = O ′ O O ′ A ′ . Now notice that A I A A ′ = O ′ O O ′ A ′ = O ′ O A ′ O − O ′ O = 2 ⋅ O D A O − 2 ⋅ O D Rearranging yields O D A O = A I 2 A A ′ + 2 .
The problem is now equivalent to showing that A I 2 A A ′ − 2 = A T B C , which we'll show with some computation. Let a = B C , b = C A , c = A B , s = 2 a + b + c . We immediately deduce that A T B C = s − a a and A I = cos 2 A s − a . As for the A A ′ , notice that A ′ B = A ′ C = 2 cos 2 A a . By Ptolemy's Theorem, C A ⋅ A ′ B + A B ⋅ A ′ C = A A ′ ⋅ B C . Substitution and rearrangement yield A A ′ = 2 cos 2 A b + c . Therefore, A I 2 A A ′ − 2 = ( cos 2 A s − a ) ( 2 ⋅ 2 cos 2 A b + c ) − 2 = s − a b + c − 2 = s − a b + c − 2 ( s − a ) = s − a a = A T B C It follows that O D A O − A T B C = 4 = 1 4 1 , so the answer is 6 .