Minimising H I HI

Geometry Level 5

A triangle with a given angle A A is inscribed in a unit circle.

Let H I min \overline{HI}_\text{min} denote the minimum possible distance between the orthocenter H H and the incenter I I of the triangle.

Let α = 0 π 2 H I min d A \alpha=\displaystyle\int_{0}^{\frac{\pi}{2}}\overline{HI}_\text{min}\,dA .

Numerically evaluate the above integral after finding H I min \overline{HI}_\text{min} as a function of A A and submit your answer as the value of 1 0 6 α \lfloor{10^6\alpha}\rfloor .


The answer is 246892.

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

Mark Hennings
Jan 11, 2021

The distance H I \overline{HI} between the orthocentre H H and the incentre I I is given by the formula H I 2 = 2 r 2 4 R 2 cos A cos B cos C \overline{HI}^2 \; = \; 2r^2 - 4R^2\cos A \cos B \cos C where r , R r,R are the inradius and the outradius, respectively. Putting u = sin 1 2 A u = \sin\tfrac12A , x = cos 1 2 ( B C ) x= \cos\tfrac12(B-C) , we see that 0 < u < x < 1 0 < u < x < 1 , and H I 2 = 4 R 2 [ ( 1 cos A ) ( 1 cos B ) ( 1 cos C ) cos A cos B cos C ] = 4 R 2 [ ( 1 cos A ) ( 1 cos A ) ( cos B + cos C ) + ( 1 2 cos A ) cos B cos C ] = 4 R 2 [ 2 u 2 4 u 2 cos 1 2 ( B + C ) cos 1 2 ( B C ) + 1 2 ( 4 u 2 1 ) ( cos ( B + C ) + cos ( B C ) ) ] = 4 R 2 [ 2 u 2 4 u 3 x + ( 4 u 2 1 ) ( x 2 + u 2 1 ) ] \begin{aligned} \overline{HI}^2 & = \; 4R^2\big[(1-\cos A)(1-\cos B)(1-\cos C) - \cos A \cos B \cos C\big] \\ & = \; 4R^2\big[(1 - \cos A) - (1 - \cos A)(\cos B + \cos C) + (1 - 2\cos A)\cos B \cos C\big] \\ & = \; 4R^2\big[2u^2 - 4u^2 \cos\tfrac12(B+C)\cos\tfrac12(B-C) + \tfrac12(4u^2-1)\big(\cos(B+C) + \cos(B-C)\big)\big] \\ &= \; 4R^2\big[2u^2 - 4u^3x + (4u^2-1)(x^2 + u^2 - 1)\big] \end{aligned} In this case, R = 1 R=1 , and hence H I 2 = F u ( x ) = 4 [ ( 4 u 2 1 ) ( x 2 + u 2 1 ) 4 u 3 x + 2 u 2 ] \overline{HI}^2 \; = \; F_u(x) \; = \; 4\big[(4u^2-1)(x^2 + u^2 - 1) - 4u^3x + 2u^2\big] We thus want to minimize F u ( x ) F_u(x) over u < x < 1 u < x < 1 for each 0 < u < 1 0 < u < 1 . Note that F u ( x ) = 8 [ ( 4 u 2 1 ) x 2 u 3 ] F_u'(x) \; =\; 8\big[(4u^2-1)x - 2u^3\big] Note that there is a unique positive root 0 < β < 1 0 < \beta < 1 , with β 0.596968283237 \beta \approx 0.596968283237 , of the cubic equation 2 X 3 4 X 2 + 1 = 0 2X^3 - 4X^2 + 1 = 0 . Now

  • If 0 < u < 1 2 0 < u < \tfrac12 then F u ( x ) < 0 F_u'(x) < 0 for all u < x < 1 u < x < 1 , and so the infimum over u < x < 1 u < x < 1 of F u ( x ) F_u(x) is F u ( 1 ) F_u(1)

  • If 1 2 < u < β \tfrac12 < u < \beta , then F u ( x ) = 0 F_u'(x) = 0 where x = u ^ = 2 u 3 4 u 2 1 x = \hat{u} = \tfrac{2u^3}{4u^2-1} , but the fact that u < β u < \beta means that u ^ > 1 \hat{u} > 1 , and hence the infimum of F u ( x ) F_u(x) for u < x < 1 u < x < 1 is F u ( 1 ) F_u(1) again.

  • If β < u < 1 2 \beta < u < \tfrac{1}{\sqrt{2}} , then F u F_u has a turning point at u ^ \hat{u} defined as above, and u < u ^ < 1 u < \hat{u} < 1 , so the infimum of F u F_u over u < x < 1 u < x < 1 is F u ( u ^ ) F_u(\hat{u}) .

  • If 1 2 < u < 1 \tfrac{1}{\sqrt{2}} < u < 1 then u ^ < u \hat{u} < u , and so the infimum of F u ( x ) F_u(x) over u < x < 1 u < x < 1 is F u ( u ) F_u(u) .

Thus we deduce that H I min 2 = { F u ( 1 ) = 4 u 2 ( 1 2 u ) 2 0 < u < β F u ( u ^ ) = 4 ( 1 2 u 2 ) 2 ( 3 u 2 1 ) 4 u 2 1 β < u < 1 2 F u ( u ) = 4 ( 2 u 2 1 ) 2 1 2 < u < 1 \overline{HI}^2_{\min} \; = \; \left\{ \begin{array}{lll} F_u(1) \; = \; 4u^2(1 - 2u)^2 & \hspace{1cm} & 0 < u < \beta \\[2ex] F_u(\hat{u}) = {\displaystyle \frac{4(1-2u^2)^2(3u^2-1)}{4u^2-1}} & & \beta < u < \tfrac{1}{\sqrt{2}} \\[2ex] F_u(u) \;=\;4(2u^2-1)^2 & & \tfrac{1}{\sqrt{2}} < u < 1 \end{array}\right. and hence H I min = { 2 sin 1 2 A 1 2 sin 1 2 A 0 < A < 2 sin 1 β 2 cos A 3 sin 2 1 2 A 1 4 sin 2 1 2 A 1 2 sin 1 β < A < 1 2 π 2 cos A 1 2 π < A < π \overline{HI}_{\min} \; = \; \left\{ \begin{array}{lll} 2\sin\tfrac12A\big|1 - 2\sin\tfrac12A\big| & \hspace{1cm} & 0 < A < 2\sin^{-1}\beta \\[2ex] 2\cos A{\displaystyle \sqrt{\frac{3\sin^2\frac12A - 1}{4\sin^2\frac12A - 1}}} & & 2\sin^{-1}\beta < A < \tfrac12\pi \\[2ex] 2|\cos A| & & \tfrac12\pi < A < \pi \end{array} \right. Thus we calculate (numerically) α = 0 2 sin 1 β 2 sin 1 2 A 1 2 sin 1 2 A d A + 2 sin 1 β 1 2 π 2 cos A 3 sin 2 1 2 A 1 4 sin 2 1 2 A 1 d A = 0.2468923537 \alpha = \int_0^{2\sin^{-1}\beta} 2\sin\tfrac12A\big|1 - 2\sin\tfrac12A\big|\,dA + \int_{2\sin^{-1}\beta}^{\frac12\pi} 2\cos A{\displaystyle \sqrt{\frac{3\sin^2\frac12A - 1}{4\sin^2\frac12A - 1}}}\,dA \; =\; 0.2468923537 which makes 1 0 6 α = 246892 \lfloor 10^6\alpha \rfloor = \boxed{246892} .

Miraculous solution @Mark Hennings the x and u substitutions are simply brilliant, congrats! But would you explain why is r ² = 2 R ² ( 1 c o s A ) ( 1 c o s B ) ( 1 c o s C ) r²=2R²(1-cosA)(1-cosB)(1-cosC) ? Or is it just another identify I'm not aware of?

Also why is the constraint u < x u<x there?

And (if it's not a too dumb question) what does the notation u ^ û mean?

P.S.: How did you come up with these substitutions? Or they came naturally to you after countless solved problems?

Veselin Dimov - 4 months, 4 weeks ago

Log in to reply

In the first, I am using the fact that r = 4 R sin 1 2 A sin 1 2 B sin 1 2 C r = 4R\sin\tfrac12A\sin\tfrac12B\sin\tfrac12C , then squaring and using double angle formulae.

Since B + C = π A B+C = \pi-A , we obtain 1 2 ( B C ) < 1 2 π 1 2 A \big|\tfrac12(B-C)\big| < \tfrac12\pi - \tfrac12A , and so cos 1 2 ( B C ) > sin 1 2 A \cos\tfrac12(B-C) > \sin\tfrac12A .

The quantity u ^ \hat{u} just means a particular value of u u --- in this case u ^ = 2 u 3 4 u 2 1 \hat{u} = \tfrac{2u^3}{4u^2-1} .

Practice.

Mark Hennings - 4 months, 4 weeks ago

Log in to reply

Thank you for the explanation, but isn't it true B + C = π A B+C=π-A since B, C and A are angles of the triangle? Or you meant B C < π A B-C<π-A ?

Veselin Dimov - 4 months, 4 weeks ago

Log in to reply

@Veselin Dimov Yes, I meant equality for B + C B+C , which gives the inequality for (|B-C||).

Mark Hennings - 4 months, 4 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...