Well done to Vid from Osnovna Å¡ola Loka ÄŒrnomelj in Slovenia, who sent us the following solution to the problem:
Angle c = 45^\circ because it is the angle between the diagonal and the side of a square. To prove that a+b=c, I shall begin by adding points to the diagram to help with naming angles:
Now we can find several angles:
Firstly, \angle CAE = a and \angle BAD = b.
Since DC is parallel to AE, by alternate angles, we know that \angle DCA = \angle CAE.
Next, we can see that \angle BCD = b.
Similarly, \angle ABF = \angle CBG = b.
Since \angle BHC is a right angle and the sum of angles in a triangle is 180^\circ, then we have that \angle CBH = 180^\circ - 90^\circ - b = 90^\circ - b.
Hence, we have that \angle BCA = a + b.
In \triangle ABC, the line segments AB and BC have equal length, so we have that \triangle ABC is isosceles. Therefore, \angle BAC = \angle BCA = a+b.
Therefore, adding the angles of \triangle ABC together, we have: \begin{align}\angle ABC + \angle BAC + \angle ACB &= 180^\circ \\
((90^\circ - b) + b) + (a + b) + (a + b) &= 180^\circ \\
90^\circ + (a + b) + (a + b) &= 180^\circ\\
90^\circ + 2(a + b) &= 180^\circ\\
2(a + b) &= 180^\circ - 90^\circ\\
2(a + b) &= 90^\circ\\
a + b &= \frac{90^\circ}{2}\\
a + b &= 45^\circ\end{align}
Therefore, since c = 45^\circ, we have that a + b = c.