由(a,b)=1 知,存在两个整数m,n使得ma+nb=1
那么m²a²-n²b²=(ma+nb)(ma-nb)=ma-nb
则n²(a²+b²)=n²a²+n²b²=(m²+n²)a²-ma+nb = [(m²+n²)a-2m]a+(ma+nb)=[(m²+n²)a-2m]a+1
令 m'=n²,n'=-(m²+n²)a+2m,则有m'(a²+b²)+n'a=1,即(a²+b²,a)=1.
由(a,b)=1 知,存在两个整数m,n使得ma+nb=1
那么m²a²-n²b²=(ma+nb)(ma-nb)=ma-nb
则n²(a²+b²)=n²a²+n²b²=(m²+n²)a²-ma+nb = [(m²+n²)a-2m]a+(ma+nb)=[(m²+n²)a-2m]a+1
令 m'=n²,n'=-(m²+n²)a+2m,则有m'(a²+b²)+n'a=1,即(a²+b²,a)=1.