Flying In The Middle Of Nowhere

Geometry Level 5

In the diagram, triangle A B C ABC inscribed a circle with center O O .

Draw altitudes A D , B E , C F AD, BE, CF of the triangle A B C ABC ( D , E , F D, E, F lies on the sides). The altitudes concur at orthocenter H H .

D E DE intersects C F CF at M M . D F DF intersects B E BE at N N .

A line passes through A A and perpendicular to M N MN intersects O H OH at point K K .

If S A B C = 201 6 2017 , P D E F = 134 4 2016 S_{ABC} = 2016^{2017}, P_{DEF} = 1344^{2016} , length of K D KD can be written as:

K D = p 1 α 1 × p 2 α 2 p 3 α 3 KD=\dfrac{p_1^{\alpha_1} \times p_2^{\alpha_2}}{p_3^{\alpha_3}}

where p 1 , p 2 p_1, p_2 and p 3 p_3 are 3 distinct primes .

Find x = 1 3 ( p x α x ) \displaystyle \sum_{x=1}^3 (p_x\alpha_x) .

Clarification: S S and P P denote the area and perimeter of the figure, respectively.


The answer is 10083.

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

Tran Quoc Dat
Apr 18, 2016

See Radical Axis and Nine Point Circle before reading this solution.

This is a hard problem. The goal of this solution is to prove that K K is the center of Nine-Point Circle of triangle A B C ABC , which means, K K is the midpoint of segment O H OH . 'Cause it's difficult to prove directly, I let K K' be the midpoint of segment O H OH , then show that A K AK' is perpendicular to M N MN .

You may know this result: The circumcenter of triangle B H C BHC reflects that of triangle B A C BAC on line B C BC , and, A H = O O AH = OO' . So, A H O O AHO'O is a parallelogram. But K K' is midpoint of O H OH then A , K , O A, K', O' are colinear.

Now, draw the Nine Point Circle of triangle A B C ABC and let it intersects the circumcircle of triangle B H C BHC at X , Y X, Y . Line X Y XY is the radical axis of the 2 circles. We'll prove that points M , N M, N also lie on this line.

H F B D HFBD is a concylic quadrilateral; so, N F × N D = N B × N H NF \times ND = NB \times NH . But, N F × N D NF \times ND is the power of point N N with respect to the circle ( K ) (K') . And, N B × N H NB \times NH is the power of point N N to the circle ( O ) (O') . Hence, the power of N N with respect to these circles are equal; thus, N X Y N \in XY . Also, M X Y M \in XY .

Radical axis is perpendicular to the line joining the centers; thus, X Y XY is perpendicular to K O K'O' ; or, M N MN is perpendicular to A K AK' (prove complete!). Now K K K \equiv K' , or K K is midpoint of O H OH .

The last part is easy now. S A B C = 1 2 P D E F × R S_{ABC}=\dfrac12P_{DEF}\times R , with R R be the radius of ( O ) (O) . We write the equation in form: R = 2 × S A B C P D E F R=2\times \dfrac{S_{ABC}}{P_{DEF}} .

K D KD equals to the radius of the Nine Point Circle; thus, K D = 1 2 R = S A B C P D E F = 201 6 2017 134 4 2016 = ( 2016 1344 ) 2016 × 2016 = 3 2018 × 7 2 2011 KD = \dfrac12 R = \dfrac{S_{ABC}}{P_{DEF}} = \dfrac{2016^{2017}}{1344^{2016}} = \left(\dfrac{2016}{1344}\right)^{2016}\times 2016 = \color{#D61F06}{\dfrac{3^{2018} \times 7}{2^{2011}}} .

Hence, the answer is 3 × 2018 + 7 + 2 × 2011 = 10083 3 \times 2018 + 7 + 2 \times 2011 = \boxed{10083} .

Great problem and solution! I needed two days to solve it via complex numbers. Is it original?

A Former Brilliant Member - 5 years, 1 month ago

Log in to reply

No it isn't. The original one is to prove A K M N AK \perp MN , with K K be the center of Nine Point Circle. The gigantic lengths are also mine.

Euclidean Geometry is sometimes very, very hard. But the more it's hard, the more it's beautiful. Do you think so?

Tran Quoc Dat - 5 years, 1 month ago

Log in to reply

I totally agree!

Unfortunately, such beautiful proofs take time to materialize. That is why I use relatively mechanical methods of vectors, complex numbers and coordinate geometry as these are sure shot methods for time constrained exams. I'll be learning more on Eucledian geometry once my exams are up!

You might like this problem !

A Former Brilliant Member - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...