Statement

Euclid’s formula produces Pythagorean triples (a,b,c)(a,b,c) with a=m2n2a=m^2-n^2, b=2mnb=2mn, c=m2+n2c=m^2+n^2 (integers m>n>0m>n>0). Using m=4m=4 and n=1n=1, compute the triple and check that a2+b2=c2a^2+b^2=c^2.