Sei c die Hypotenuse und a die um 3 kleinere Kathete sowie b die andere Kathete.
c²-a²=c²-(c-3)²=6c-9=3(2c-3)=b²
Aus 3(2c-3)=b² folgt, dass (2c-3) auch durch 3 teilbar sein muss.
Dazu muss aber c durch 3 teilbar sein. Dann ist aber auch a=c-3 durch 3 teilbar, und b²=c²-a² ist durch 9 teilbar.
Dann ist aber auch b durch 3 teilbar, und (a,b,c) ist kein primitives pyth. Tripel mehr.