Fermat两数平方和定理
初等方法
Thue引理
Thue引理 令 n , b , r ∗ , t ∗ ∈ Z n,b,r^*,t^*\in Z n,b,r∗,t∗∈Z,其中 0 < r ∗ ≤ n < r ∗ t ∗ 0<r^*\leq n<r^*t^* 0<r∗≤n<r∗t∗,则存在 r , t ∈ Z r,t\in Z r,t∈Z使得 r = b t   m o d   n , ∣ r ∣ < r ∗ , 0 < ∣ t ∣ < t ∗ r=bt\bmod n,|r|<r^*,0<|t|<t^* r=btmodn,∣r∣<r∗,0<∣t∣<t∗
proof 我们令 v i j = i − b j v_{ij}=i-bj vij=i−bj,其中 i = 0 , 1 , … , r ∗ − 1 , j = 0 , 1 , … , t ∗ − 1 i=0,1,\ldots,r^*-1,j=0,1,\ldots,t^*-1 i=0,1,…,r∗−1,j=0,1,…,t∗−1.
显然我们定义了 r ∗ t ∗ > n r^*t^*>n r∗t∗>n个数,那么必定有两个不一样的数模n同余,即 v i 1 j 1 = v i 2 j 2   m o d   n v_{i_1j_1}=v_{i_2j_2}\bmod n vi1j1=vi2j2modn不妨令 r = i 1 − i 2 , t = j 1 − j 2 r=i_1-i_2,t=j_1-j_2 r=i