The big semicircle on the hypotenuse is built from three pieces — the triangle plus two curved slivers — and those very same two slivers are the pieces you cut away from the two small semicircles to leave the crescents \(\displaystyle A\) and \(\displaystyle B\). Take the same two pieces off both sides, and what is left over must be equal.Step $\displaystyle 1$: Name every part of Fig. 6.52.Call the right-angle corner of the triangle \(\displaystyle P\) (bottom-left), the top corner \(\displaystyle Q\), and the bottom-right corner \(\displaystyle R\). Let
\[PQ = a \ \text{units}, \qquad PR = b \ \text{units}, \qquad QR = c \ \text{units} \ \ (\text{the hypotenuse}).
\]
The figure shows three semicircles, each drawn on a side of the triangle as its diameter:
one on \(\displaystyle PQ\), bulging out to the left, away from the triangle;
one on \(\displaystyle PR\), bulging downwards, away from the triangle;
one on \(\displaystyle QR\), drawn on the same side of \(\displaystyle QR\) as the triangle — this is the arc that sweeps from \(\displaystyle Q\), round past the corner \(\displaystyle P\), and on to \(\displaystyle R\).
The three shaded regions are:
\(\displaystyle C\) = the triangle \(\displaystyle PQR\) itself (three straight sides);
\(\displaystyle A\) = the crescent to the left of \(\displaystyle PQ\), the piece caught between two arcs: the semicircle on \(\displaystyle PQ\) on the outside, and the arc of the big semicircle on the inside;
\(\displaystyle B\) = the crescent below \(\displaystyle PR\), caught between the semicircle on \(\displaystyle PR\) on the outside and the arc of the big semicircle on the inside.
Step $\displaystyle 2$: Show that the big arc really does pass exactly through the corner \(\displaystyle P\).Let \(\displaystyle M\) be the midpoint of the hypotenuse \(\displaystyle QR\), so \(\displaystyle M\) is the centre of the semicircle on \(\displaystyle QR\) and its radius is \(\displaystyle \dfrac{c}{2}\) units. (This midpoint is the dot marked on \(\displaystyle QR\) in the figure.)
Complete the rectangle: through \(\displaystyle Q\) draw a line parallel to \(\displaystyle PR\), through \(\displaystyle R\) draw a line parallel to \(\displaystyle PQ\), and let them meet at \(\displaystyle S\). Then \(\displaystyle PQSR\) is a rectangle, because \(\displaystyle \angle P = 90^\circ\) and the opposite sides are parallel. Its two diagonals are \(\displaystyle QR\) and \(\displaystyle PS\), and for a rectangle:
the diagonals are equal, so \(\displaystyle PS = QR = c\) units;
the diagonals bisect each other, so they cross at the midpoint of both — and the midpoint of \(\displaystyle QR\) is \(\displaystyle M\).
So \(\displaystyle M\) is the midpoint of \(\displaystyle PS\) as well, which gives
\[MP = \frac{PS}{2} = \frac{c}{2} \ \text{units}, \qquad MQ = MR = \frac{c}{2} \ \text{units}.
\]
\(\displaystyle P\) sits exactly \(\displaystyle \dfrac{c}{2}\) units from the centre \(\displaystyle M\) — the same as the radius — so \(\displaystyle P\) lies
on the big semicircle's arc. That is why the arc runs through the corner \(\displaystyle P\) instead of missing it.
Step $\displaystyle 3$: Cut the big semicircle into its three pieces.Because the arc passes through \(\displaystyle P\), the two straight legs \(\displaystyle PQ\) and \(\displaystyle PR\) cut the big semicircular region into three pieces that do not overlap:
the triangle \(\displaystyle PQR\), which is region \(\displaystyle C\);
the sliver between the chord \(\displaystyle PQ\) and the arc from \(\displaystyle Q\) to \(\displaystyle P\) — call its area \(\displaystyle s_1\) square units;
the sliver between the chord \(\displaystyle PR\) and the arc from \(\displaystyle P\) to \(\displaystyle R\) — call its area \(\displaystyle s_2\) square units.
Areas of non-overlapping pieces add, so
\[\text{Area(semicircle on } QR) \;=\; \text{Area}(C) + s_1 + s_2 \qquad \textbf{(1)}
\]
Note that \(\displaystyle s_1\) and \(\displaystyle s_2\) are
not equal to each other in general; they are equal only in the special case \(\displaystyle a = b\). What matters below is only that the
same two numbers \(\displaystyle s_1\) and \(\displaystyle s_2\) turn up again in the next step.
Step $\displaystyle 4$: Say exactly what the crescents \(\displaystyle A\) and \(\displaystyle B\) are.Look again at crescent \(\displaystyle A\) in the figure: it is bounded by
two arcs, not by an arc and a straight edge. Both arcs join the same two points \(\displaystyle P\) and \(\displaystyle Q\), and both lie on the same (left) side of \(\displaystyle PQ\):
the outer arc is the semicircle drawn on \(\displaystyle PQ\);
the inner arc is the piece of the big semicircle's arc from \(\displaystyle Q\) to \(\displaystyle P\) — the very arc that bounds the sliver \(\displaystyle s_1\) in Step 3.
For the crescent to be "semicircle minus sliver", the sliver must lie inside the semicircle. Here is the check. Both regions sit on the same chord \(\displaystyle PQ\), so compare how far each arc bulges out from the midpoint \(\displaystyle N\) of \(\displaystyle PQ\):
the semicircle on \(\displaystyle PQ\) bulges out by its own radius, \(\displaystyle \dfrac{a}{2}\) units;
for the big arc, join \(\displaystyle M\) to \(\displaystyle N\). In triangle \(\displaystyle QPR\), \(\displaystyle N\) is the midpoint of \(\displaystyle QP\) and \(\displaystyle M\) is the midpoint of \(\displaystyle QR\), so by the midpoint theorem \(\displaystyle MN \parallel PR\) and \(\displaystyle MN = \dfrac{b}{2}\) units. Since \(\displaystyle PR \perp PQ\), we get \(\displaystyle MN \perp PQ\), so the centre \(\displaystyle M\) stands \(\displaystyle \dfrac{b}{2}\) units away from the line \(\displaystyle PQ\). Travelling from \(\displaystyle M\) towards \(\displaystyle N\) and on to the arc covers the radius \(\displaystyle \dfrac{c}{2}\) units in all, so the big arc pokes past \(\displaystyle PQ\) by only
\[\frac{c}{2} - \frac{b}{2} = \frac{c-b}{2} \ \text{units}.
\]
In any triangle each side is shorter than the sum of the other two, so \(\displaystyle c < a + b\), which rearranges to \(\displaystyle c - b < a\) and hence \(\displaystyle \dfrac{c-b}{2} < \dfrac{a}{2}\). The big arc is the flatter of the two, so the sliver \(\displaystyle s_1\) lies completely inside the semicircle on \(\displaystyle PQ\), and
\[\text{Area}(A) = \text{Area(semicircle on } PQ) - s_1 \qquad \textbf{(2)}
\]
The other leg works the same way: the centre \(\displaystyle M\) is \(\displaystyle \dfrac{a}{2}\) units from the line \(\displaystyle PR\), the big arc pokes past \(\displaystyle PR\) by \(\displaystyle \dfrac{c-a}{2}\) units, and \(\displaystyle c < a+b\) gives \(\displaystyle \dfrac{c-a}{2} < \dfrac{b}{2}\). So
\[\text{Area}(B) = \text{Area(semicircle on } PR) - s_2 \qquad \textbf{(3)}
\]
Step $\displaystyle 5$: Write down the area of a semicircle.Area of a semicircle \(\displaystyle = \dfrac{1}{2}\pi r^2\), where \(\displaystyle r\) is the
radius. The sides \(\displaystyle a\), \(\displaystyle b\), \(\displaystyle c\) here are the
diameters, so each radius is half a side. Writing the formula in terms of a diameter \(\displaystyle d\):
\[\text{Area of semicircle} = \frac{1}{2}\pi\left(\frac{d}{2}\right)^2 = \frac{1}{2}\pi \cdot \frac{d^2}{4} = \frac{\pi d^2}{8}
\]
So, in square units,
\[\text{Area(semicircle on } PQ) = \frac{\pi a^2}{8}, \qquad
\text{Area(semicircle on } PR) = \frac{\pi b^2}{8}, \qquad
\text{Area(semicircle on } QR) = \frac{\pi c^2}{8}.
\]
The chapter says to use \(\displaystyle \pi = \dfrac{22}{7}\) whenever a number is needed. In this proof \(\displaystyle \pi\) appears on both sides of every equation and cancels, so no number is needed to finish it. Step $\displaystyle 8$ puts \(\displaystyle \pi = \dfrac{22}{7}\) into a real example so you can watch it work.
Step $\displaystyle 6$: Bring in Pythagoras' theorem.Since \(\displaystyle \angle P = 90^\circ\),
Pythagoras' theorem ("in a right-angled triangle, the square on the hypotenuse equals the sum of the squares on the other two sides") gives
\[a^2 + b^2 = c^2.
\]
Multiply both sides by \(\displaystyle \dfrac{\pi}{8}\):
\[\frac{\pi a^2}{8} + \frac{\pi b^2}{8} = \frac{\pi c^2}{8}
\]
which says, in words,
\[\text{Area(semicircle on } PQ) + \text{Area(semicircle on } PR) = \text{Area(semicircle on } QR) \qquad \textbf{(4)}
\]
Step $\displaystyle 7$: Put the pieces together.Add equations ($\displaystyle 2$) and ($\displaystyle 3$):
\[\text{Area}(A) + \text{Area}(B) = \Big[\text{Area(semicircle on } PQ) + \text{Area(semicircle on } PR)\Big] - (s_1 + s_2)
\]
By ($\displaystyle 4$) the square bracket is the big semicircle, so
\[\text{Area}(A) + \text{Area}(B) = \text{Area(semicircle on } QR) - (s_1 + s_2)
\]
By ($\displaystyle 1$), rearranged, \(\displaystyle \text{Area(semicircle on } QR) - (s_1+s_2) = \text{Area}(C)\). Therefore
\[\text{Area}(A) + \text{Area}(B) = \text{Area}(C),
\]
which is what had to be shown. In symbols, the common value of both sides is
\[\frac{\pi}{8}\left(a^2+b^2\right) - (s_1+s_2) \ \text{square units},
\]
and it is
not \(\displaystyle \dfrac{\pi}{8}(a^2+b^2)\) on its own — that quantity is just the two small semicircles added together, before the slivers are removed.
Step $\displaystyle 8$: The neat closed form, and a number check with \(\displaystyle \pi = \dfrac{22}{7}\).Region \(\displaystyle C\) is the right-angled triangle, and
area of a triangle \(\displaystyle = \dfrac{1}{2} \times \text{base} \times \text{height}\), with the two legs serving as base and height:
\[\text{Area}(C) = \frac{1}{2}ab \ \text{square units}.
\]
So the two curved crescents together are worth exactly \(\displaystyle \dfrac{1}{2}ab\) square units — a straight-sided answer with no \(\displaystyle \pi\) left in it at all.
Test it on a \(\displaystyle 3\)-\(\displaystyle 4\)-\(\displaystyle 5\) triangle: \(\displaystyle a = 3\) units, \(\displaystyle b = 4\) units, \(\displaystyle c = 5\) units (and \(\displaystyle 3^2 + 4^2 = 9 + 16 = 25 = 5^2\), so it is right-angled). Using \(\displaystyle \pi = \dfrac{22}{7}\):
\[\text{Area(semicircle on } PQ) = \frac{22}{7}\cdot\frac{3^2}{8} = \frac{22 \times 9}{56} = \frac{99}{28} \ \text{square units} \approx 3.54 \ \text{square units}
\]
\[\text{Area(semicircle on } PR) = \frac{22}{7}\cdot\frac{4^2}{8} = \frac{22 \times 16}{56} = \frac{176}{28} \ \text{square units} \approx 6.29 \ \text{square units}
\]
\[\text{Area(semicircle on } QR) = \frac{22}{7}\cdot\frac{5^2}{8} = \frac{22 \times 25}{56} = \frac{275}{28} \ \text{square units} \approx 9.82 \ \text{square units}
\]
\[\text{Area}(C) = \frac{1}{2}\times 3 \times 4 = 6 \ \text{square units}
\]
From ($\displaystyle 1$), the two slivers together come to
\[s_1 + s_2 = \frac{275}{28} - 6 = \frac{275 - 168}{28} = \frac{107}{28} \ \text{square units} \approx 3.82 \ \text{square units},
\]
and then
\[\text{Area}(A) + \text{Area}(B) = \left(\frac{99}{28} + \frac{176}{28}\right) - \frac{107}{28} = \frac{275}{28} - \frac{107}{28} = \frac{168}{28} = 6 \ \text{square units} = \text{Area}(C). \ \checkmark
\]
(The additions above are done with the exact fractions. The rounded decimals are only there to give you a feel for the sizes — adding \(\displaystyle 3.54\) and \(\displaystyle 6.29\) drifts by a hundredth from \(\displaystyle 9.82\), which is rounding, not an error.)
Nothing in the argument used the numbers \(\displaystyle 3\), \(\displaystyle 4\), \(\displaystyle 5\): it used only \(\displaystyle a^2+b^2=c^2\), which Pythagoras guarantees for every right-angled triangle. So the result holds for all of them.
Answer: Area(A) + Area(B) = Area(C) for every right-angled triangle. Both sides equal \(\displaystyle \dfrac{\pi}{8}(a^2+b^2) - (s_1+s_2)\), which is the same as \(\displaystyle \dfrac{\pi c^2}{8} - (s_1+s_2)\) by Pythagoras, and that is exactly the triangle \(\displaystyle C\), of area \(\displaystyle \dfrac{1}{2}ab\) square units — because the same two slivers \(\displaystyle s_1\) and \(\displaystyle s_2\) are subtracted on both sides.