In a , the internal angle bisectors , and meet the opposite sides in , and respectively. Here, is the incenter.
Now,
Let the maximum value of be . Find .
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.
This shouldn't be taken as a full proof but it may point the way.
Let A = ( 0 , 0 ) , B = ( B x , B y ) , and C = ( 1 , 0 ) . The perimeter of the triangle p = ( B x − 1 ) 2 + B y 2 + 1 + B x 2 + B y 2 .
The incenter coordinates are I = ( p B x + B x 2 + B y 2 , p B y )
I'm going to leave out finding the coordinates of A ′ , B ′ , and C ′ as this part is messy and things cancel when the ratios are found.
Let B x = x and B y = y for simplicity
A A ′ A I = p x 2 + y 2 + 1 , B B ′ B I = p ( x + 1 ) 2 + y 2 + x 2 + y 2 , C C ′ C I = p ( x + 1 ) 2 + y 2 + 1
Now the function to be maximized is f ( x , y ) = p 6 ( x 2 + y 2 + 1 ) 3 ( ( x + 1 ) 2 + y 2 + x 2 + y 2 ) 2 ( ( x + 1 ) 2 + y 2 + 1 )
A little playing around convinced me that the maximum actually occurs as y → 0 , so let the triangle degenerate by setting y = 0 . Enough cancels to let this formula work.
f ( x , 0 ) = f ( x ) = 6 4 x 5 ( x + 1 ) 3 ( 2 x − 1 ) 2
Which has maximum f ( 4 5 ) = 5 0 0 0 0 6 5 6 1 = 0 . 1 3 1 2 2 = P
So ⌊ 1 0 0 0 ⋅ P ⌋ = 1 3 1
It's rather nice that P is a rational number with a terminating decimal.