Asymmetric Optimization

Geometry Level 5

In a A B C \triangle ABC , the internal angle bisectors A I AI , B I BI and C I CI meet the opposite sides in A A^{'} , B B^{'} and C C^{'} respectively. Here, I I is the incenter.

Now, ξ : = ( A I A A ) 3 ( B I B B ) 2 ( C I C C ) \large\ \xi := \bigg(\frac{AI}{AA^{'}}\bigg)^3 \bigg(\frac{BI}{BB^{'}}\bigg)^2 \bigg(\frac{CI}{CC^{'}}\bigg)

Let the maximum value of ξ \xi be P P . Find 1000 P \lfloor 1000 \cdot P \rfloor .


Inspiration


The answer is 131.

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

Jeremy Galvagni
Aug 23, 2018

This shouldn't be taken as a full proof but it may point the way.

Let A = ( 0 , 0 ) A=(0,0) , B = ( B x , B y ) B=(B_{x},B_{y}) , and C = ( 1 , 0 ) C=(1,0) . The perimeter of the triangle p = ( B x 1 ) 2 + B y 2 + 1 + B x 2 + B y 2 p=\sqrt{(B_{x}-1)^{2}+B_{y}^{2}}+1+\sqrt{B_{x}^{2}+B_{y}^{2}} .

The incenter coordinates are I = ( B x + B x 2 + B y 2 p , B y p ) I=(\frac{B_{x}+\sqrt{B_{x}^{2}+B_{y}^{2}}}{p},\frac{B_{y}}{p})

I'm going to leave out finding the coordinates of A A' , B B' , and C C' as this part is messy and things cancel when the ratios are found.

Let B x = x B_{x}=x and B y = y B_{y}=y for simplicity

A I A A = x 2 + y 2 + 1 p \frac{AI}{AA'}=\frac{\sqrt{x^{2}+y^{2}}+1}{p} , B I B B = ( x + 1 ) 2 + y 2 + x 2 + y 2 p \frac{BI}{BB'}=\frac{\sqrt{(x+1)^{2}+y^{2}}+\sqrt{x^{2}+y^{2}}}{p} , C I C C = ( x + 1 ) 2 + y 2 + 1 p \frac{CI}{CC'}=\frac{\sqrt{(x+1)^{2}+y^{2}}+1}{p}

Now the function to be maximized is f ( x , y ) = ( x 2 + y 2 + 1 ) 3 ( ( x + 1 ) 2 + y 2 + x 2 + y 2 ) 2 ( ( x + 1 ) 2 + y 2 + 1 ) p 6 f(x,y)=\large \frac{(\sqrt{x^{2}+y^{2}}+1)^{3}(\sqrt{(x+1)^{2}+y^{2}}+\sqrt{x^{2}+y^{2}})^{2}(\sqrt{(x+1)^{2}+y^{2}}+1)}{p^{6}}

A little playing around convinced me that the maximum actually occurs as y 0 y \rightarrow 0 , so let the triangle degenerate by setting y = 0 y=0 . Enough cancels to let this formula work.

f ( x , 0 ) = f ( x ) = ( x + 1 ) 3 ( 2 x 1 ) 2 64 x 5 f(x,0)=f(x)=\frac{(x+1)^3(2x-1)^2}{64x^{5}}

Which has maximum f ( 5 4 ) = 6561 50000 = 0.13122 = P f(\frac{5}{4})=\frac{6561}{50000}=0.13122=P

So 1000 P = 131 \lfloor 1000\cdot P \rfloor = \boxed{131}

It's rather nice that P P is a rational number with a terminating decimal.

Thanks for posting a solution.

Atomsky Jahid - 2 years, 9 months ago

1 pending report

Vote up reports you agree with

×

Problem Loading...

Note Loading...

Set Loading...