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$.