An Equilateral Triangle Inside a Square

This is an article on an olympiad problem. Here we present various solutions of the problem. We show the beauty of this problem by presenting different proofs to the same problem.

The Problem Statement: –

ABCD is a square. E is a point inside the square such that \angle{ECB}=\angle{EBC}=15^{\circ}. Show that \Delta AED is equilateral.

A Solution by the use of Trigonometry

Construct the perpendicular bisector of BC and AD and call it MN. Since \Delta EBC is isosceles MN passes through E. Call the length of the side of the square as a. Now in right angled triangled \Delta EBN use BN=\dfrac{a}{2} and the tan of \angle{EBN}=\angle{EBD}=15^{\circ} to get the length EN in terms of a. Now ME=MN-EN=a-EN. Hence use this and AM=\frac{a}{2} to get \tan(\angle{EAM}) and hence \angle{EAD} which we find equal to 60^{\circ}. Similarly we can proceed for \angle{EDA} and hence we are done.

First Synthetic Solution by Construction

We use proof by contradiction. The idea is that if what is given in the question is right then AD=AE=AB are all radii of the same circle with radius equal to the length of the side of the square and with center A. Let us assume that the point E does not fall on the circle. Then the line BE should meet the circle in some other point as it is already meeting it at the point B non-perpendicularly. Let that point be E'. Our aim is to show that E=E'.

In \Delta AE'B, AE'=AB (radii of the same circle). Hence it gives us \angle{AE'B}=\angle{ABE'}=90^{\circ}-\angle{E'BC}=75^{\circ}. Hence it leads to \angle{E'AB}=30^{\circ}\Rightarrow \angle{E'AD}=60^{\circ}. Similarly we get that \Delta AE'D is isosceles giving us \Delta AE'D equilateral. USing the same construction as in the first solution and using the fact that \Delta AE'D is equilateral we get that E' lies on MN but E' also lies on DE. Hence, E'= MN\cap DE. But E also lies on MN and therefore E= MN\cap DE. Since two non-parallel straight lines can meet at only one point point hence E'=E, a contradiction. Hence, \Delta AED is equilateral.

A Solution by Subtracting

We construct equilateral \Delta AE'D inside the square and show that E=E'.

A Solution by Using Inequalities

We suppose \angle{AEB}=\angle{DEC}=\epsilon, AB=BC=CD=DA=a, AE=ED=b, BE=EC=c. Then

b<a\Rightarrow\epsilon>75^{\circ}\Rightarrow\alpha<60^{\circ}\Rightarrow\beta>60^{\circ}\Rightarrow b>a

 

Similarly we can show contradiction for the case when b>a. Hence we have contradiction in both the cases. Hence, b=a.

Another Synthetic Solution

We erect \Delta CDF\cong\Delta BCE on BC to the interior. We join EF. Now it is easy to see that DE=a.

Yet Another Synthetic Solution

We erect regular Delta BCE' on BC to the exterior. Then \Delta BEE'\cong\Delta CEE' are isosceles, i.e., EE'=a. Since, \Delta BEE'\cong\Delta ABE giving us AE=EE'=a.

Some remarks

The last 4 solutions are there in the books given in the references. The first was 3 are the ones I was able to come up on my own. Prof B.J. Venkatachala mentions here that this problem is one of his favourite problems

Acknowledgements

I would like to thank Prof. B. R. Sharma of Dibrugarh University for introducing me to this beautiful problem.

References

[1] M R Modak, S A Katre, V V Acharya, An Excursion in Mathematics, 7th edition, Bhaskaracharya Pratishthana, 2007.

[2] H S M Coxeter, Introduction to Geometry, 2nd edition, John Wiley & Sons, 1969.

[3] Arthur Engel, Problem-Solving Strategies, Springer, 1999.

[4] H S M Coxeter and S L Greitzer, Geometry Revisited, New Mathematical Library 19, The Mathematical Association of America, 1967.