证明素数对称分布定理的五个引理（二）

李彦修

引理1.4 若q1 、q2为奇素数，则以下同余方程组1）与2）
- V3 [' c% v4 X9 ?1） x ≡ 0
(mod q1)
x ≡ r2
(mod q2)
2） x ≡ 0
(mod q1)
x ≡q2-r2
(mod q2)
8 L: o% x6 H# D( U0 f, `3 [' p; F% }7 g小于q1q2的解必然一个是奇数，一个是偶数。
& q) n$ @- o  o$ `: V7 p6 Z证明：
! u7 N6 e' h, _) w根据孙子定理，方程组1）与2）都有小于q1q2的唯一解。
/ t2 e; Y) E0 t令方程组1）与2）的解分别为：
x1=a1q1=b1q2+ r2
' b0 }8 {9 }& o" ^( y  U" g% Rx2=a2q1=b2q2+ q2-r2
则：x1+x2= a1q1+ a2q1=（b1q2+ r2）+（b2q2+ q2-r2）
即：（a1+ a2）q1=（b1+b2+ 1）q2
# j2 n- J* t# T* G. X& [( l∵
+ e8 V  ~' \% C( Kq1 、q2互素，且x1< q1q2，x2< q1q2，
7 {/ b# U4 B& w∴
% k7 h1 C6 d: M3 h: ix1+x2< 2q1q2,
  f7 |9 Y: v: w2 `∴
a1+ a2 =q2
，b1+b2+ 1=q1
∵ q2为奇素数，
∴ a1与 a2既不能同时为奇数也不能同时为偶数。
∵ 若a1与 a2同为奇数或偶数，则有a1+ a2=2b= q2，此与q2为奇素数相悖。
) M, u8 ^4 a, J* }∴ a1与 a2只能一个为奇数，一个为偶数。
- m: Q- A2 r; B$ D# T∴
x1=a1q1=b1q2+ r2
x2=a2q1=b2q2+ q2-r2
也只能一个为奇数，一个为偶数。
定理得证。

azqw

哈哈哈哈哈哈哈

azqw

看看看看。