A Singular Triangle

Geometry Level 5

The figure shows a triangle A B C ABC and its incircle. A B C \triangle ABC has integer side lengths. If C F = F B CF = FB and A G = G H = H F AG = GH = HF , what is its smallest possible perimeter of A B C \triangle ABC ? The figure is not drawn to scale.


The answer is 28.

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.

4 solutions

David Vreken
Oct 25, 2020

Add C D CD perpendicular to A F AF and label the points of tangency P P , Q Q , and R R , as shown below:

Let x = A G = G H = H F x = AG = GH = HF , y = F Q y = FQ , and z = C F = F B z = CF = FB .

By the tangent-secant theorem , F Q 2 = H F G F = A G G F = A P 2 FQ^2 = HF \cdot GF = AG \cdot GF = AP^2 , so A P = F Q = y AP = FQ = y and y 2 = x 2 x = 2 x 2 y^2 = x \cdot 2x = 2x^2 .

Also, since the segments from a point to two tangent points on the same circle are equal, C P = C Q CP = CQ , which means C A = C P + A P = C Q + F Q = C F = z CA = CP + AP = CQ + FQ = CF = z , and A R = A P = y AR = AP = y and R B = Q B = F Q + F B = y + z RB = QB = FQ + FB = y + z , which makes A B = A R + R B = 2 y + z AB = AR + RB = 2y + z .

C D F C D A \triangle CDF \cong \triangle CDA by HL congruence, so D F = 1 2 A F = 1 2 ( A G + G H + H F ) = 3 2 x DF = \frac{1}{2}AF = \frac{1}{2}(AG + GH + HF) = \frac{3}{2}x .

From C F D \triangle CFD , cos C F D = D F C F = 3 x 2 z \cos \angle CFD = \cfrac{DF}{CF} = \cfrac{3x}{2z} , which means cos A F B = cos ( 180 ° C F D ) = cos C F D = 3 x 2 z \cos \angle AFB = \cos (180° - \angle CFD) = -\cos \angle CFD = -\cfrac{3x}{2z} .

By the law of cosines on A F B \triangle AFB , cos A F B = F B 2 + A F 2 A B 2 2 F B A F \cos \angle AFB = \cfrac{FB^2 + AF^2 - AB^2}{2 \cdot FB \cdot AF} , or 3 x 2 z = z 2 + ( 3 x ) 2 ( 2 y + z ) 2 2 z 3 x -\cfrac{3x}{2z} = \cfrac{z^2 + (3x)^2 - (2y + z)^2}{2 \cdot z \cdot 3x} , which after substituting y 2 = 2 x 2 y^2 = 2x^2 from above solves to y = 4 5 z y = \frac{4}{5}z .

That means the sides of the triangle have a ratio of A C : B C : A B = z : 2 z : ( 2 y + z ) = z : 2 z : 13 5 z AC : BC : AB = z : 2z : (2y + z) = z : 2z : \frac{13}{5}z , and the smallest z z for all integer sides is z = 5 z = 5 , making the perimeter z + 2 z + 13 5 z = 5 + 10 + 13 = 28 z + 2z + \frac{13}{5}z = 5 + 10 + 13 = \boxed{28} .

@David Vreken What symmetry are you using to justify A P = F Q AP = FQ ?

Fletcher Mattox - 7 months, 2 weeks ago

Log in to reply

I rearranged the order of my solution to try and clarify things.

David Vreken - 7 months, 2 weeks ago

Log in to reply

Aha! That makes perfect sense. Thank you.

Fletcher Mattox - 7 months, 2 weeks ago

I would like to propose my solution to understand what is wrong with it

Let AG = GH = HF = x Let CP = CQ = y

AP = AR = sqrt(2).x FQ = sqrt(2).x

AC = AP + CP = sqrt(2).x + y

CF = CQ + FQ = sqrt(2).x + y

BC = 2.sqrt(2).x + 2.y

Since CF = FB, BQ = FB + FQ = sqrt(2).x + y + sqrt(2).x

Since BR = BQ, BR = 2.sqrt(2).x + y

AB = AR + BR = sqrt(2).x + 2.sqrt(2).x + y = 3.sqrt(2).x + y

Since each of AC, BC, AB are integers, their differences must also be integers

BC - AC = sqrt(2).x + y, say = p AB - AC = 2.sqrt(2).x, say = m AB - BC = sqrt(2).x - y, say = q

2.sqrt(2).x = m so x = m/2.sqrt(2).

p = sqrt(2).x + y = m/2 + y

q = sqrt(2).x - y = m/2 - y

So, p + q = m

If m = 1, that means, either p is 0 or q is 0. Since q < p, so q is 0 and p is 1.

Since p = m/2 + y, and m = 1, p = 1, so y = 1/2

So, x = 1/2.sqrt(2) Do note the picture says that the diagram is not drawn to scale, so I suppose, it is possible for x < y.

So, AC = sqrt (2)/2.sqrt(2) + 1/2 = 1 AB = 3.sqrt(2)/2.sqrt(2) + 1/2 = 2 BC = 2.sqrt(2)/2.sqrt(2) + 2.1/2 = 2

So, minimum perimeter, comes to 5.

Shantanu Joshi - 6 months, 2 weeks ago

Log in to reply

You also need to consider the restraint that C C , F F , and B B are in a straight line. The sides you found for A C F \triangle ACF are 1 1 , 1 1 , and 3 2 2 \frac{3}{2\sqrt{2}} , and by the law of cosines A F C 57.97 ° \angle AFC \approx 57.97° , and the sides you found for A B F \triangle ABF are 1 1 , 2 2 , and 3 2 2 \frac{3}{2\sqrt{2}} , and by the law of cosines A F B 152.11 ° \angle AFB \approx 152.11° , so in your solution A F C + A F B 180 ° \angle AFC + \angle AFB \neq 180° .

David Vreken - 6 months, 2 weeks ago
Chew-Seong Cheong
Oct 24, 2020

Because of symmetry, C A F \triangle CAF is isosceles with C A = C F CA=CF . Let C A = C F = 1 CA=CF=1 , this means that C B = 2 CB=2 . Add in the inradii of length r r O D OD , O E OE , and O I OI . Then we have:

{ C A : r cot A 2 + r cot C 2 = 1 C B : r cot B 2 + r cot C 2 = 2 A B : r cot A 2 + r cot B 2 = c \begin{cases} CA: & r\cot \dfrac A2 + r \cot \dfrac C2 = 1 \\ CB: & r\cot \dfrac B2 + r \cot \dfrac C2 = 2 \\ AB: & r\cot \dfrac A2 + r \cot \dfrac B2 = c \end{cases}

C A + C B A B : 2 r cot C 2 = 3 c c = 3 2 r cot C 2 CA+CB - AB: \quad 2 r \cot \dfrac C2 = 3-c \implies c = 3- 2r \cot \dfrac C2 .

We note that A G = G H = H F = 2 3 sin C 2 AG=GH=HF = \dfrac 23 \sin \dfrac C2 . By tangent-secant theorem of circles we have A D 2 = A G A H = 8 3 sin 2 C 2 AD^2 = AG \cdot AH = \dfrac 83 \sin^2 \dfrac C2 , A D = 2 2 3 sin C 2 \implies AD = \dfrac {2\sqrt 2}3 \sin \dfrac C2 . We also note that A D + D C = 2 2 3 sin C 2 + r cot C 2 = 1 AD+DC = \dfrac {2\sqrt 2}3 \sin \dfrac C2 + r\cot \dfrac C2 = 1 , r cot C 2 = 1 2 2 3 sin C 2 \implies r\cot \dfrac C2 = 1 - \dfrac {2\sqrt 2}3 \sin \dfrac C2 and c = 1 + 4 2 3 sin C 2 c = 1 + \dfrac {4\sqrt 2}3 \sin \dfrac C2 .

By cosine rule ,

c 2 = 1 2 + 2 2 2 ( 1 ) ( 2 ) cos C ( 1 + 4 2 3 sin C 2 ) 2 = 5 4 ( 1 2 sin 2 C 2 ) 1 + 8 2 3 sin C 2 + 32 9 sin 2 C 2 = 1 + 8 sin 2 C 2 8 2 3 sin C 2 = 40 9 sin 2 C 2 For sin C 2 0 4 2 3 sin C 2 = 8 2 3 × 9 40 × 4 2 3 = 8 5 c = 1 + 8 5 = 13 5 \begin{aligned} c^2 & = 1^2 + 2^2 - 2(1)(2) \cos C \\ \left(1 + \dfrac {4\sqrt 2}3 \sin \dfrac C2\right)^2 & = 5 - 4\left(1-2 \sin^2 \dfrac C2 \right) \\ 1 + \dfrac {8\sqrt 2}3 \sin \dfrac C2 + \dfrac {32}9 \sin^2 \dfrac C2 & = 1 + 8\sin^2 \dfrac C2 \\ \dfrac {8\sqrt 2}3 \sin \dfrac C2 & = \frac {40}9 \sin^2 \dfrac C2 & \small \blue{\text{For }\sin \dfrac C2 \ne 0} \\ \implies \frac {4\sqrt 2}3 \sin \dfrac C2 & = \dfrac {8\sqrt 2}3 \times \frac 9{40} \times \frac {4\sqrt 2}3 = \frac 85 \\ \implies c & = 1 + \frac 85 = \frac {13}5 \end{aligned}

Therefore a : b : c = 2 : 1 : 13 5 a:b:c = 2:1:\frac {13}5 and the smallest integer side lengths triangle is 10 : 5 : 13 10:5:13 with a perimeter of 28 \boxed{28} .

Clear and clean. Thank you!

Fletcher Mattox - 7 months, 2 weeks ago

Log in to reply

Thanks for the nice problem too. I told me some time but it was interesting.

Chew-Seong Cheong - 7 months, 2 weeks ago

Log in to reply

I was beginning to think I had finally stumped you. :)

Fletcher Mattox - 7 months, 2 weeks ago

Log in to reply

@Fletcher Mattox Yes, almost... but I didn't want to disappoint you or I wanted to disappoint you.

Chew-Seong Cheong - 7 months, 2 weeks ago

Hints: Consider the power of A and F to the incircle in different ways in terms of AB,BC,CA, then the you'll find the ratio.

Solution will be posted soon

Ajit Athle
Oct 23, 2020

Those interested in the solution may please check this out: file:///C:/Users/Admin/Downloads/atria solve a geometry problem.pdf

@ajit athle , your file will have to be uploaded to the Brilliant web site before anyone (other than you) can see it. To do this, click on the "add image" icon.

Fletcher Mattox - 7 months, 3 weeks ago

Where do I find "add image"?

ajit athle - 7 months, 3 weeks ago

Log in to reply

Under "Add your own explanation" is a row of buttons starting with L a T e X LaTeX . Click the third button from the left.

Fletcher Mattox - 7 months, 3 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...