假设存在互素的正整数m,n 如何通过辗转相除法得到：存在整数u,v使mu＋nv＝1

充分性：因为 -a 是模 p 的二次剩余,因此方程 x^2≡ -a(mod p) 有解, 设 u^2≡ -a(mod p) , 则 u^2+a≡u^2+a*1^2≡0(mod p) .因此存在整数 u、v 满足条件. 必要性：由（u,v）=1 及 u^2+a*v^2≡0(mod p) 得 （p,v）=1 , 因此存在整数 v1 使 vv1≡1(mod p) , 在已知等式中,两边同乘以 v1^2 得 (uv1)^2+a(vv1)^2≡(uv1)^2+a≡0(mod p) , 即 (uv1)^2