| La dimostrazione prende il nome dal
matematico arabo a cui è attribuita. Partendo dal triangolo rettangolo ABC (in verde) costruiamo il poligono irregolare ABDGLA e tracciamo 2 quadrati costruiti sui cateti AC e CB, e due triangoli rettangoli (HCG; GEC), uguali al triangolo di partenza, poiché CE=HG=CB e HC=GE=AC. |
|
![]() |
Dimostro: ABFI quadrato costruito sull'ipotenusa. Prendiamo ora LI=BC e LA=AC (perchè lati di un quadrato) mentre FD=AC e BD=CB (perchè lati di un quadrato), da cui consegue che il triangolo rettangolo ALI=BFD=ABC. Lo stesso vale per il triangolo rettangolo IGF=ABC, poichè GI=AC e GF=BC. Da questo deriva che, il quadrilatero AIFB ha tutti i lati uguali e langolo IAB è retto, essendo uguale allangolo LAC (gli angoli LAI e CAB sono uguali e langolo IAC è comune); dunque AIFB è il quadrato costruito sullipotenusa AB. |
| A questo punto diventa facile la dimostrazione: infatti il poligono irregolare ABDGLA si può scomporre sia nei due quadrati sui cateti e nei tre triangoli uguali ABC, HCG e GCE, sia nel quadrato sullipotenusa e nei tre triangoli (uguali ai primi) FBD, IFG e ILA. | |