Surprising equalities

Take any triangle, and construct squares on each of its sides. What do you notice about the areas of the new triangles formed?
Exploring and noticing Working systematically Conjecturing and generalising Visualising and representing Reasoning, convincing and proving
Being curious Being resourceful Being resilient Being collaborative

Problem

For this problem, you might like to use dynamic geometry software such as GeoGebra, which is free to download and use. If you have never used GeoGebra before, you might like to read this article first.

Image
Surprising Equalities
 

Draw any triangle $ABC$ and construct squares on each of its sides.

Join the vertices of the squares as shown in the diagram to create three more triangles.

Work out the area of the four triangles.

What do you notice?

Can you prove it?

Take a look at the Getting Started section to explore some interactive diagrams, or click below to see an image together with some questions which might help you to construct a proof.

Image
Surprising Equalities


What transformation takes the point E to the point E'?

How does triangle ACE' relate to triangle ADE?

What proportion of triangle BCE' is triangle ABC?

Can you rotate the other grey triangles in a similar way?

 
 

Image
Surprising Equalities
 

Here is a similar picture, which shows a quadrilateral $ABCD$ with a square constructed on each of its edges.

Triangles, which have been shaded, have been constructed between the squares.

Use your previous result to show that the areas of opposite triangles sum to the area of the quadrilateral $ABCD$.

Image
Surprising Equalities
 

Finally, this picture is constructed around an unremarkable triangle, with two arbitrary squares constructed on one edge.

Single squares are then constructed on each of the remaining edges of the triangle.

Triangles are then drawn between the squares as shown.

Use your previous results to prove that the area of the darker shaded triangle $CIL$ is equal to the sum of the areas of the other two triangles $AKF$ and $BGJ$.