Shortlist 2001/G1

Let A_1 be the center of the square inscribed in acute triangle ABC with two vertices of the square on side BC. Thus one of the two remaining vertices of the square is on side AB and the other is on side BC. Points B_1 and C_1 are defined similarly. Prove that lines AA_1 BB_1 and CC_1 are concurrent.

How it should appear

The Idea

Seen from this perspective, the problem may seem very hard, so the idea is to exploit a homothety bringing an inscribed square, say the one with two verticles on BC, to a square whose side coincides with BC.

Seems nicer, don’t you think?

How do we show we can actually do it?

So there is a homothety with center A bringing E to B and D to C. So, because homothety preserves similarity and ratios, if we take the same homothety on the whole square, it will be sent to no other than the square constructed on BC with side BC. In particular, let A_2 be the center of the new square. Define B_2 and C_2 similarly.

A nice homothety

Now we see that considering line AA_1 is equivalent to considering line AA_2 and so on. So now we must show that lines AA_2, BB_2, CC_2 concur. Now let’s use Ceva’s Theorem. Let A_3 be the intersection of line AA_2 with BC. Define B_3,C_3 similarly. Now, by Ceva’s theorem, we have to show that
\frac{CA_3}{A_3B} \frac{BC_3}{C_3A} \frac{AB_3}{B_3C} = 1
Looks very good for us, now the proof is pretty notorious and I will show it in the next part. It’s very educative to see how a seemingly horrifying problem can be turned into something easier with a wise use of homotheties.

Can you figure it out?

This is the end

Note that \frac{CA_3}{A_3B} = \frac{[ACA_2]}{[ABA_2]} in standard notation, and, by replacing the areas with the standard area formula \frac{1}{2} ab \sin C we obtain \frac{[ACA_2]}{[ABA_2]} =  \frac{\frac{1}{2}A_2C \cdot AC  \sin(45+ACB)}{\frac{1}{2}  A_2B\cdot AB\sin(45+ABC)}= \frac{AC  \sin (45+ACB)}{ AB \sin (45+ABC)}

since triangle BA_2C is clearly hysosceles on base BC.
By analogous reasonings on the other sides of the triangle we obtain : \frac{CA_3}{A_3B} \frac{BC_3}{C_3A} \frac{AB_3}{B_3C} = \frac{AC  \sin (45+ACB)}{AB \sin(45+ABC)} \frac{BC  \sin (45+ABC)}{AC \sin (45+BAC)} \frac{AB  \sin (45+BAC)}{BC \sin (45+ACB)} = 1

Scroll to top