Dimostrazione sulle lunule e triangolo rettangolo

Somma della aree dei due semicerchi più piccoli più area triangolo rettangolo meno area
del semicerchio grande:

π a2/8+π b2/8+a b/2-π c2/8

raccogliendo i fattori comuni nei primi due monomi e tenendo conto che

a2 +b2 = c2

si semplifica e si conclude che la somma delle due aree delle lunule equivale all'area
del triangolo rettangolo.