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.