Triangular Kenmotu

Geometry Level 5

Three congruent equilateral triangle, sharing a common vertex, are inscribed in A B C \triangle ABC with the other two vertices of each equilateral triangle touch the sides of A B C \triangle ABC of lengths 13 13 , 14 14 , and 15 15 .

If the side length of the equilateral triangle is a b + c d \dfrac{a\sqrt{b}+c}{d} , where a a , c c and d d are coprime integers and b b is square-free integer, submit a + b + c + d a+b+c+d .

Similar Problems:


The answer is 26854.

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.

2 solutions

Figure 1 Figure 1 The idea of the solution comes from @Chew-Seong Cheong’s solution on this , since it fits almost identically in this new problem. So, I copy his notation and part of his text.

Let L X M = α \angle LXM = \alpha , K X J = β \angle KXJ = \beta , and O X P = γ \angle OXP = \gamma (figure 1). We note that X P O = 9 0 γ 2 \angle XPO = 90^\circ - \dfrac \gamma 2 , hence, M P B = 180 ( 90 γ 2 ) 60 = γ 2 + 30 \angle MPB=180{}^\circ -\left( 90{}^\circ -\dfrac{\gamma }{2} \right)-60{}^\circ =\dfrac{\gamma }{2}+30{}^\circ , thus, L M X = L M P 60 = ( γ 2 + 30 + B ) 60 = B + γ 2 30 \angle LMX=\angle LMP-60{}^\circ =\left( \dfrac{\gamma }{2}+30{}^\circ +B \right)-60{}^\circ =B+\dfrac{\gamma }{2}-30{}^\circ .

Consequently, α = 180 2 L M X = 180 2 ( B + γ 2 30 ) = 240 2 B γ \alpha =180{}^\circ -2\cdot \angle LMX=180{}^\circ -2 \left( B+\dfrac{\gamma }{2}-30{}^\circ \right)=240{}^\circ -2 B-\gamma .
Similarly, β = 240 2 A γ \beta =240{}^\circ -2 A-\gamma .

Moreover, α + β + γ + 3 × 6 0 = 36 0 α + β + γ = 18 0 24 0 2 B γ + 24 0 2 A γ + γ = 18 0 \begin{aligned} \alpha + \beta + \gamma + 3 \times 60^\circ & = 360^\circ \\ \alpha + \beta + \gamma & = 180^\circ \\ 240^\circ - 2B- \gamma + 240^\circ - 2A- \gamma + \gamma & = 180^\circ \end{aligned}

γ = 300 2 ( A + B ) = 300 2 ( 180 C ) = 2 C 60 γ 2 = C 30 \Rightarrow \gamma =300{}^\circ -2\left( A+B \right)=300{}^\circ -2\left( 180{}^\circ -C \right)=2C-60{}^\circ \Rightarrow \dfrac{\gamma }{2}=C-30{}^\circ Similarly, α 2 = A 30 \dfrac{\alpha}{2}=A-30{}^\circ and β 2 = B 30 \dfrac{\beta}{2}=B-30{}^\circ .

Using Heron’s formula we find the area of A B C \triangle ABC : [ A B C ] = 84 \left[ ABC \right]=84 .

Let the side length of the equilateral triangles be s s and the altitudes from X X to B C BC , C A CA and A B AB be h a h_a , h b h_b , and h c h_c respectively. Then the area of A B C \triangle ABC is also given by: h a B C + h b C A + h c A B 2 = [ A B C ] 1 2 ( 15 s cos α 2 + 13 s cos β 2 + 14 s cos γ 2 ) = 84 ( 1 ) \begin{aligned} \dfrac {h_a\cdot BC + h_b \cdot CA + h_c \cdot AB}2 & = [ABC] \\ \dfrac 12 \left(15 s \cos \dfrac \alpha 2 + 13 s \cos \dfrac \beta 2 + 14 s \cos \dfrac \gamma 2 \right) & = 84 \ \ \ \ \ (1)\end{aligned}

In order to calculate cos α 2 \cos \dfrac \alpha 2 , cos β 2 \cos \dfrac \beta 2 and cos γ 2 \cos \dfrac \gamma 2 , we first find the sines and cosines of the angles of A B C \triangle ABC .
We notice that A B C \triangle ABC is a compound of a 5 5 - 12 12 - 13 13 and a 9 9 - 12 12 - 15 15 right-angled triangle (figure 2). Figure 2 Figure 2

Thus, it is easy to find that cos A = 5 13 \cos A=\dfrac{5}{13} , sin A = 12 13 \sin A=\dfrac{12}{13} , cos B = 9 15 \cos B=\dfrac{9}{15} , sin B = 12 15 \sin B=\dfrac{12}{15} .

By sine law, sin C 14 = sin A 15 sin C = 14 15 12 13 sin C = 56 65 \dfrac{\sin C}{14}=\dfrac{\sin A}{15}\Rightarrow \sin C=\dfrac{14}{15}\cdot \dfrac{12}{13}\Rightarrow \sin C=\dfrac{56}{65} .

cos C = 1 sin 2 C = 1 ( 56 65 ) 2 cos C = 33 65 \cos C=\sqrt{1-{{\sin }^{2}}C}=\sqrt{1-{{\left( \dfrac{56}{65} \right)}^{2}}}\Rightarrow \cos C=\dfrac{33}{65}

Combining the results obtained, we get

cos α 2 = cos ( A 30 ) = cos A cos 30 + sin A sin 30 = 5 13 3 2 + 12 13 1 2 = 12 + 5 3 26 \cos \dfrac{\alpha }{2}=\cos \left( A-30{}^\circ \right)=\cos A\cdot \cos 30{}^\circ +\sin A\cdot \sin 30{}^\circ =\dfrac{5}{13}\cdot \dfrac{\sqrt{3}}{2}+\dfrac{12}{13}\cdot \dfrac{1}{2}=\dfrac{12+5\sqrt{3}}{26} Similarly, cos β 2 = cos ( B 30 ) = 4 + 3 3 10 \cos \dfrac{\beta }{2}=\cos \left( B-30{}^\circ \right)=\dfrac{4+3\sqrt{3}}{10} cos γ 2 = cos ( C 30 ) = 56 + 33 3 130 \cos \dfrac{\gamma }{2}=\cos \left( C-30{}^\circ \right)=\dfrac{56+33\sqrt{3}}{130} Finaly, ( 1 ) s [ 15 12 + 5 3 26 + 13 4 + 3 3 10 + 14 56 + 33 3 130 ] = 84 2 \left( 1 \right)\Rightarrow s\left[ 15\cdot \dfrac{12+5\sqrt{3}}{26}+13\cdot \dfrac{4+3\sqrt{3}}{10}+14\cdot \dfrac{56+33\sqrt{3}}{130} \right]=84\cdot 2 which solves to s = 35280 3 + 61950 181 s=\dfrac{-35280\sqrt{3}+61950}{181} for the answer, a + b + c + d = 35280 + 3 + 61950 + 181 = 26854 a+b+c+d=-35280+3+61950+181=\boxed{26854} .

Thank you for the detailed solution.

Maria Kozlowska - 7 months ago

Log in to reply

@Maria Kozlowska Is point X X in your figure the 2nd Kenmotu Point? i.e. is it X(372) in The Encyclopedia of Triangle Centers here ? It doesn't seem to have the same trilinear coordinates.

Fletcher Mattox - 7 months ago

Log in to reply

No. Common vertex is triangle center X(15) which is First Isodynamic Point .

It is Isogonal Conjugate of Fermat point. The point can be constructed by creating equilateral triangles outward on triangle sides and connecting outermost points to the opposite vertices of the triangle (Napoleon theorem). This will produce Fermat point. Then the connecting lines need to be reflected on angle bisectors of corresponding angles. This will produce point X(15).

To check triangle center this page can be used.

Maria Kozlowska - 7 months ago

Log in to reply

@Maria Kozlowska Aha, that makes perfect sense. Thank you!

Fletcher Mattox - 7 months ago

@Thanos Petropoulos , of course I used the same method.

Chew-Seong Cheong - 7 months ago

I wonder if there's a way to automatically solve these sort of problems. I'm attempting to use sympy to define the problem and then solving symbolically but it's taking really really long. If it works I'll post a solution.

Julian Poon - 6 months, 2 weeks ago

Log in to reply

I have generalized the solution in Pentagonal Kenmotu as follows:

r = 2 Δ a cos α 2 + b cos β 2 + c cos γ 2 where { α = 2 A θ β = 2 B θ γ = 2 C θ r = \frac {2\Delta}{a \cos \frac \alpha 2 + b \cos \frac \beta 2 + c \cos \frac \gamma 2} \text{ where } \begin{cases} \alpha = 2A - \theta \\ \beta = 2B - \theta \\ \gamma = 2C - \theta \end{cases}

You can take a look.

Chew-Seong Cheong - 6 months, 2 weeks ago

Log in to reply

Cool! I am attempting to find a more general programming approach for any of these 'inscribing problems'. Though I'm seeing less point in writing one now since I did not know that a symbolic geometry solver already existed (It already does).

Julian Poon - 6 months, 2 weeks ago

Log in to reply

@Julian Poon I've been looking for such a solver too. What is it? Free?

Fletcher Mattox - 6 months, 2 weeks ago

Log in to reply

@Fletcher Mattox I attempted using the module Sympy.geometry. However, I've not been able to define the problem ia a way that's been solvable by sympy. The best ive done for this problem is 10 constraints. It could of course be improved drastically specific to this problem but I attempted to formulate in such a way that's general. Either ways, 10 constraints took forever to solve and i never got an output.

I've not attempted using better solvers such as Mathematica.

Julian Poon - 6 months, 2 weeks ago

In all these kenmotu problems, the three 'tip' triangles are similar to each other and to the 'big' triangle with proper orientation. In this case, Δ A B C Δ A J O Δ L K C Δ M B P . \Delta ABC \sim \Delta AJO \sim \Delta LKC \sim \Delta MBP. Also, in this particular case, the Kenmotu point is actually the isodynamic point of the triangle. Unfortunately, this doesn't help simplify the calculation in any way.:(

Vishwash Kumar ΓΞΩ - 2 months, 3 weeks ago
Fletcher Mattox
Nov 10, 2020

Nice problem!

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...