Largest Square in Triangle

Geometry Level 5

Given a triangle with vertices ( 0 , 0 ) , ( 16 , 0 ) , ( 6 , 8 ) (0,0), (16,0), (6,8) , find the length of the side of the largest square which can be inscribed in it. If the length is expressed as p q \dfrac{p}{q} where p p and q q are coprime positive integers, submit p + q p + q .

inspiration


The answer is 377.

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

Pi Han Goh
Dec 8, 2020

Disclaimer: This solution is incomplete. I did not prove that "The largest square inscribed must have one entire side touching a side length of a triangle."


Suppose the largest square lies flat on the base of this triangle. A simple plot on Desmos tells us that the side length of the inscribed square is 5 1 3 5\frac13 . But can this be beaten?

If we use this tool , we will see that the side length of the largest square is not parallel to the x x -axis.

In fact, the coordinates of the triangle do not actually matter. Using the distance formula, the triangle has side lengths 10 , 16 , 164 10, 16, \sqrt{164} .

Without the loss of generality, I can replot the coordinates of the triangle as ( 0 , 0 ) , ( 10 , 0 ) , ( 48 5 , 64 5 ) . (0,0), (10,0), (\tfrac{48}5, \tfrac{64}5 ) .

Since I'm lazy to redo the same approach in the Desmos above, I used Calvin Lin's 2nd way to draw squares Inside triangles here (with the timestamp attached) . We have

as shown in my other Desmos mini project .

And the side length of this square is 560 57 80 17 = 5 + 35 37 = 320 57 \frac{560}{57} - \frac{80}{17} = 5 + \frac{35}{37} = \frac{320}{57} which makes the answer 320 + 57 = 377 320 + 57 = \boxed{377} .

Now, can someone prove that the square we've found is indeed the largest?

Let s a {{s}_{a}} , s b {{s}_{b}} and s c {{s}_{c}} be the sides of the squares inscribed in the triangle and having one side on B C = a BC=a , C A = b CA=b and A B = c AB=c , respectively. Referring to the figure, triangles A K L \triangle AKL and A E D \triangle AED are similar, hence the ratio of their sides equals the ratio of their respective altitudes, i.e.

K L E D = A H A J s a a = h a h a + a s a = a h a h a + a s a = 2 A 2 A a + a \dfrac{KL}{ED}=\dfrac{AH}{AJ}\Rightarrow \dfrac{{{s}_{a}}}{a}=\dfrac{{{h}_{a}}}{{{h}_{a}}+a}\Rightarrow {{s}_{a}}=\dfrac{a{{h}_{a}}}{{{h}_{a}}+a}\Rightarrow {{s}_{a}}=\dfrac{2A}{\dfrac{2A}{a}+a}

Likewise, s b = 2 A 2 A b + b {{s}_{b}}=\dfrac{2A}{\dfrac{2A}{b}+b} Comparing the sides of the two squares we have

s a s b 2 A 2 A a + a 2 A 2 A b + b 2 A a + a 2 A b + b ( b a ) ( 2 A a b 1 ) 0 ( b a ) ( a b sin C a b 1 ) 0 ( b a ) ( sin C 1 ) 0 0 b a \begin{aligned} {{s}_{a}}\ge {{s}_{b}} & \Leftrightarrow \frac{2A}{\frac{2A}{a}+a}\ge \frac{2A}{\frac{2A}{b}+b} \\ & \Leftrightarrow \frac{2A}{a}+a\le \frac{2A}{b}+b \\ & \Leftrightarrow \left( b-a \right)\left( \frac{2A}{ab}-1 \right)\le 0 \\ & \Leftrightarrow \left( b-a \right)\left( \frac{ab\sin C}{ab}-1 \right)\le 0 \\ & \Leftrightarrow \left( b-a \right)\underbrace{\left( \sin C-1 \right)}_{\le 0}\le 0 \\ & \Leftrightarrow b\ge a \\ \end{aligned} This means that the biggest square is the one that lays on the smallest side of the triangle. In our case, it is the square on the side of length 10.

Thanos Petropoulos - 6 months ago

Log in to reply

Let s a {{s}_{a}} , s b {{s}_{b}} and s c {{s}_{c}} be the sides of the squares inscribed in the triangle and having one side on B C = a BC=a , C A = b CA=b and A B = c AB=c , respectively.

But that's the thing: How do we know that the largest possible square inscribed has all 4 of its vertices touching the edges of the triangle? Why can't it be 3?


This means that the biggest square is the one that lays on the smallest side of the triangle. In our case, it is the square on the side of length 10.

Wouldn't this disprove your claim?


Also, what app did you use to design such lovely geometry figures?

Pi Han Goh - 6 months ago

Log in to reply

A quick answer to your second comment (I had to expect you would notice it): Yes, my claim holds just for the case of an acute triangle, like the one Fletcher gave. Otherwise there is no square inscribed in the triangle having all four vertices on the sides of the triangle, with two of them on one of the sides of the obtuse angle. For the figuresI use Geogebra. For your first comment, I need some time...

Thanos Petropoulos - 6 months ago

@Pi Han Goh - Hi! I think you might be interested in this . I have posted a solution there, that gives the answer to your question about the posisioning of the largest square in the triangle.

Thanos Petropoulos - 6 months ago

Log in to reply

Wow, I'm going to spend at least an entire afternoon reading your essay. Thanks!

Pi Han Goh - 6 months ago

Log in to reply

I couldn't make it shorter :) At least I hope my response to your challenge settles things out.

Thanos Petropoulos - 5 months, 4 weeks ago

Log in to reply

@Thanos Petropoulos Yay! You're now my 3rd favorite person on this site!

Pi Han Goh - 5 months, 4 weeks ago

Log in to reply

@Pi Han Goh @Pi Han Goh - Oh, I'm trully honored! Thank you!

Thanos Petropoulos - 5 months, 3 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...