60^o angle wanted, equilateral on a square
Source: 2019 Austrian Mathematical Olympiad Junior Regional Competition , Problem 2
December 18, 2020
geometryperpendicular bisector
Problem Statement
A square is given. Over the side draw an equilateral triangle on the outside. The midpoint of the segment is and the midpoint of the side is . Prove that .
.
(Karl Czakler)