Triangle Triplets

Geometry Level 5

An equilateral A B C \triangle ABC has a side length 3. D D and E E are chosen such that the three incircles are congruent. If the length of A D AD is a root of f ( x ) = a x 3 + b x 2 + c x + d f(x) = ax^3 + bx^2 + cx + d , where gcd ( a , b , c , d ) = 1 \gcd(a,b,c,d) = 1 and a > 0 a>0 , submit f ( 2 ) f(2) .


The answer is 31.

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
Mar 27, 2021

Let the lengths of the various segments be as marked. If the three incircles all have radius r r , then 3 4 3 x = 1 2 r ( 3 + x + w ) 1 4 3 ( 3 x ) y = 1 2 r ( 3 x + y + z ) 9 4 3 3 4 3 x 1 4 3 ( 3 x ) y = 1 2 r ( 3 y + w + z ) \begin{aligned} \tfrac34\sqrt{3}x & = \; \tfrac12r(3+x+w) \\ \tfrac14\sqrt{3}(3-x)y &=\; \tfrac12r(3-x+y+z) \\ \tfrac94\sqrt{3} - \tfrac34\sqrt{3}x - \tfrac14\sqrt{3}(3-x)y & = \; \tfrac12r(3-y + w + z) \end{aligned} and these equations can be solved to write r , y , z r,y,z in terms of x , w x,w : r = 3 3 x 2 ( 3 + x + w ) y = 3 ( 2 x 2 + 2 w x 3 w 9 ) 2 ( x 2 + w x + 3 x 3 w 9 ) z = ( 3 + w ) ( 3 2 x ) 2 x \begin{aligned} r & = \; \frac{3\sqrt{3}x}{2(3 + x +w)} \\ y & = \; \frac{3(2x^2 + 2wx - 3w - 9)}{2(x^2 + wx + 3x - 3w - 9)} \\ z & = \; \frac{(3+w)(3-2x)}{2x} \end{aligned} Since z > 0 z>0 , 0 < x < 3 2 0 < x < \tfrac32 . Since w 2 = x 2 3 x + 9 w^2 = x^2 - 3x + 9 and z 2 = ( 3 x ) 2 + y 2 ( 3 x ) y z^2 = (3-x)^2 + y^2 - (3-x)y we deduce that

0 = ( 3 x ) ( ( 2 x 2 9 ) + ( 2 x 3 ) x 2 3 x + 9 ) ( ( 6 x 4 126 x 3 + 729 x 2 1539 x + 972 ) + 3 ( 3 2 x ) ( x 2 + 27 x 36 ) x 2 3 x + 9 ) 4 x 2 ( ( x 2 + 3 x 9 ) ( 3 x ) x 2 3 x + 9 ) 0 \; = \; \frac{(3-x)\Big((2x^2-9) + (2x-3)\sqrt{x^2 - 3x + 9}\Big)\Big((6x^4 - 126x^3 + 729x^2 - 1539x + 972) + 3(3-2x)(x^2 + 27x - 36)\sqrt{x^2 - 3x + 9}\Big)}{4x^2\Big((x^2 + 3x - 9) - (3 - x)\sqrt{x^2 - 3x + 9}\Big)} If ( 2 x 2 9 ) + ( 2 x 3 ) x 2 3 x + 9 = 0 (2x^2-9) + (2x-3)\sqrt{x^2 - 3x + 9} = 0 then 0 = ( 2 x 2 9 ) 2 ( x 2 3 x + 9 ) ( 2 x 3 ) 2 = 3 x ( x 3 ) ( 8 x 15 ) 0 \; =\; (2x^2 - 9)^2 - (x^2 - 3x + 9)(2x-3)^2 \; = \; 3x(x-3)(8x-15) which has no solution with 0 < x < 3 2 0 < x < \tfrac32 . Thus we deduce that ( 6 x 4 126 x 3 + 729 x 2 1539 x + 972 ) + 3 ( 3 2 x ) ( x 2 + 27 x 36 ) x 2 3 x + 9 = 0 ( 6 x 4 126 x 3 + 729 x 2 1539 x + 972 ) 2 9 ( 3 2 x ) 2 ( x 2 + 27 x 36 ) 2 ( x 2 3 x + 9 ) = 0 81 x 2 ( 15 8 x ) ( 5 x 3 9 x 2 + 27 x 27 ) = 0 \begin{aligned} (6x^4 - 126x^3 + 729x^2 - 1539x + 972) + 3(3-2x)(x^2 + 27x - 36)\sqrt{x^2 - 3x + 9} & = \; 0 \\ (6x^4 - 126x^3 + 729x^2 - 1539x + 972)^2 - 9(3-2x)^2(x^2 + 27x - 36)^2(x^2 - 3x + 9) & = \; 0 \\ 81x^2(15-8x)(5x^3 - 9x^2 + 27x - 27) & = \; 0 \end{aligned} and so, since 0 < x < 3 2 0 < x <\tfrac32 , we deduce that f ( x ) = 5 x 3 9 x 2 + 27 x 27 = 0 f(x) \; = \; 5x^3 - 9x^2 + 27x - 27 \; = \; 0 which makes the answer f ( 2 ) = 31 f(2) = \boxed{31} . Note that the value of x x is approximately 1.15946 1.15946 .

Nice work! A lot more algebra, than geometry, huh?

Fletcher Mattox - 2 months, 2 weeks ago

Log in to reply

Maybe I substituted the numbers.

f ( x ) = a x 3 + b x 2 + c x + d f(x) = ax ^ { 3 } + bx ^ { 2 } + cx + d

f ( 2 ) = 8 a + 4 b + 2 c + d f(2) = 8a + 4b + 2c + d

. . - 1 month ago

@Mark Hennings And at the final row, it is not only a real root of f ( x ) f(x) .

By the fundamental theorem of algebra , we get 3 3 roots in the C \mathbb { C } .(complex number)

. . - 1 month ago

Log in to reply

Yes, there are two complex roots, but since x x is the length of a line segment, we can assume that we are looking for a real root, and this cubic only has one real root.

Mark Hennings - 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...