Bất phương trình diophante tuyến tính

ì ĩ ì Pì P Pì PP P số ò ì ì ử ởt số tự ìợ số ợ t t t số Pữỡ tr t t t r ỹ r ỹ tt t ữỡ ữỡ tr t t t t ữỡ tr t t t t ữỡ tr t t t t ữỡ tr t t t ữỡ t ữỡ tr t t t ởt số q t ữỡ tr t số ởt số t q ữỡ tr ữỡ tr t ữỡ tr t ữỡ tr ữủ Pữỡ tr ữỡ tr t ữỡ tr t ữỡ tr ữủ õ tự q tọ trữợ t t Pữỡ tr ỏ ữỡ tr t ởt tr ỳ t t ổ q ữỡ tr t t t r ữủ ỳ t t s s số số ỳ t số số ữỡ tr t ữ sỹ r số ỵ tt ữớ t ỵ tt t t ữ ữỡ số r t ữỡ tr t t t tỹ t ữỡ tr t t t õ ự t số õ t õ ởt t ợ ữ tr ý t s ọ tổ r t ổ õ t qt t t ữỡ tr t t t s ự t ữỡ tr ợ ố s ởt t t ổ s tr q tr ổ t s ọ ữủ ữỡ ữỡ ởt số tự ữỡ t ữỡ tr t t t ữỡ ởt số t q t tọ sỹ trồ ỏ t ỡ s s tợ tớ ữợ ụ ữ t trỏ tr sốt q tr t ự ú ù t t ụ ỷ ỡ t t tợ Pỏ t ỡ t ổ t t ủ t õ t t ỡ ổ q t ụ t tốt t t tr sốt tớ t t t trữớ ỹ ố ũ õ ố ữ tớ tr ỏ õ tr ọ ỳ t sõt t rt ữủ sỹ õ ỵ t ổ ụ ữ ỗ ữủ t ỡ t ỡ t tỹ r rữớ ữỡ ởt số tự ìợ số ợ t t t ố ữủ ởt ữợ số số ổ ỗ tớ ổ t t ởt ữợ số số ổ ỗ tớ ổ ữủ ữợ số ợ t ữợ số ữợ ú ỵ ữợ số ợ t t d ụ ữợ số ợ t t q ữợ r ữợ số ợ t số ữỡ ìợ số ợ t số ữủ ỵ rtst sr ữ ởt số ữủ ởt ữợ số số a1 , a2 , a3 , , an ổ ỗ tớ ổ ữợ ộ số õ ởt ữợ số số a1, a2, a3, , an ổ ỗ tớ ổ ữủ ữợ số ợ t a1 , a2 , a3 , , an ữợ số a1 , a2 , a3 , , an ữợ ữỡ tỹ t ụ q ữợ r ữợ số ợ t số a1 , a2 , a3 , , an số ữỡ ìợ số ợ t a1 , a2 , a3 , , an ỵ a1 , a2 , a3 , , an a1 , a2 , a3 , , an ữ (a1 , a2 , a3 , , an ) a1 , a2 , a3 , , an sỹ tỗ t ữợ số ợ t số số a1 , a2 , a3 , , an ổ ỗ tớ ổ õ tỗ t ữợ số ợ t a1 , a2 , a3 , , an t q r số a2 + b2 = a = bq + r r < |b| t r t t tt t t ữợ số ợ t số ữỡ sỷ r0 = a, r1 = b số ữỡ t tt t ri = ri+1 qi+1 + ri+2 , tr õ ri+2 < ri+1 , i = 0, 1, 2, ữủ ữ r1 , r2 , ợ r1 > r2 > t ữủ ữ rn = n 2, < ri+2 < ri+1 , i = 0, 1, , n õ (a, b) = (r0 , r1 ) = (r1 , r2 ) = = (rn2 , rn1 ) = (rn1 qn1 , rn1 ) = rn1 (a, b) = rn1 ũ tt t t ữợ số ợ t õ 3484 = 3276.1 + 208 3276 = 208.15 + 156 208 = 156.1 + 52 156 = 52.3 + gcd(3484, 3276) = 52 ởt số 3484x + 3276y = 52 tr t õ 52 = 208 156.1 52 = 208 (3276 208.15) = 16.208 3276 156 = 3276 208.15 52 = 3276 + 16.208 52 = 3276 + 16 (3484 3276.1) = 16.3484 17.3276 208 = 3484 3276.1 õ 3484.16 + 3276.(17) = 52 (x; y) = (16; 17) số số ỳ số ỳ õ n N tự õ a0 + a1 + a2 + + an1 + an tr õ a0 số số ữỡ i = 1, 2, , n an > ợ n > số tr ữủ ỵ [a0 ; a1 , a2 , , an ] số ổ a0, a1, a2, ổ số > ợ i ợ ộ t Ck = [a0 ; a1 , a2 , , ak ] õ tỗ t ợ lim Ck = k+ ) ữợ ỹ tỗ t s ữủ õ ró tr t t ( ú t tr số ổ [a0 ; a1 , a2 , ] ỵ = [a0 ; a1 , a2 , ] t ộ số ỳ t ởt số ỳ ự a , b > 0, a, b Z t r0 = a, r1 = b t õ b r0 = r1 q1 + r2 (0 < r2 < r1 ) r1 = r2 q2 + r3 (0 < r3 < r2 ) rn2 = rn1 qn1 + rn (0 < rn < rn1 ) rn1 = rn qn +0 sỷ x = r x= a r0 r2 1 = = q1 + = q + r1 = q + = = q1 + r b r1 r1 q2 + q2 + + r2 r2 qn1 + qn x = [q1 ; q2 , , qn ] 243 62 số ỳ t 327 243 t số 37 37 23 õ 32 = 4.7 + = 1.4 + = 1.3 + = 3.1 32 = [4; 1, 1, 3] = + số õ ữỡ tỹ t ụ õ 1+ 243 243 62 = [6; 1, 1, 3, 5] = [7; 2, 3, 5] = [2; 1, 2, 3, 2] 37 37 23 1+ t t t số ỳ ỹ ởt số ỳ t q ữợ số [a0 ; a1 , a2 , , an ] t t ổ tự t số ỳ [a0 ; a1 , a2 , , an ] t (pk )nk=0 (qk )nk=0 ữủ ữ s p = a0 p = a1 a0 + pk = ak pk1 + pk2 , q0 = q = a1 qk = ak qk1 + qk2 , k = 2, 3, pk õ tự số [a0 ; a1 , a2 , , an ] Ck = [a0 ; a1 , , ak ] = qk pk ự s ự Ck = [a0 ; a1 , , ak ] = q t qk ợ ữ ỵ Ck ữủ s r tứ Ck1 t ak1 ak1 + ak t a0 p0 C0 = [a0 ] = a0 = = , q0 a1 a0 + p1 C1 = [a0 ; a1 ] = a0 + = = , a1 a1 q1 a1 + C2 = [a0 ; a1 , a2 ] = a2 a1 + = a0 + 1 a2 a2 (a1 a0 + 1) + a0 a2 p + p p2 = = a2 a1 + a2 q + q q2 sỷ Ck = [a0 ; a1 , , ak ] = ak pk1 + pk2 pk = , k ak qk1 + qk2 qk õ ak + Ck+1 = ak + = ak+1 ak+1 pk1 + pk2 qk1 + qk2 ak+1 pk + pk1 ak+1 (ak pk1 + pk2 ) + pk1 = ak+1 (ak qk1 + qk2 ) + qk1 ak+1 qk + qk1 õ Ck+1 = pk+1 qk+1 t ự ữủ Ck = [a0 ; a1 , , ak ] = pk qk số [6; 1, 1, 3, 5] õ s ak pk qk C0 = 6, C1 = 7, C2 = t 13 46 243 , C3 = , C4 = 37 Ck tự [a0 ; a1 , a2 , , an ] ợ ) õ k n pk , qk ữủ ữ tr t t ( pk qk1 pk1 qk = (1)k1 t sỷ {Ck } số ỳ [a0 ; a1 , a2 , , an ] õ t õ ố s Ck Ck1 (1)k1 = ợ k n qk qk1 Ck Ck2 = ak (1)k ợ k n qk qk2 t ợ Ck số ỳ [a0; a1, a2, , an] t õ t tự s C1 > C3 > C5 > C0 < C2 < C4 < ộ C2j1 ợ ỡ ộ C2i t ợ k = 0, 1, , n t (pk , qk ) = tự pk , qk tố ũ t a0, a1, a2, ổ số > ợ i ợ ộ t Ck = [a0 ; a1 , a2 , , ak ] õ tỗ t ợ lim Ck k+ t t ( ự ) t õ C1 > C3 > C5 > > C2n1 > C2n+1 > C0 < C2 < C4 < < C2n2 < C2n < C2j1 > C2i , ợ ứ õ s r {C2k+1 } k = 0, 1, ữợ C0 ỏ {C2k } k = 0, 1, t tr C1 ỵ tt ợ số t tỗ t ợ lim C2k+1 = , k+ lim C2k = k+ ) t õ t t ( C2k+1 C2k (1)2k = > = q2k+1 q2k q2k+1 q2k t ụ ữỡ tr t t t t s ỹ ố P t ỡ số số ỗ ữù s ọ t tr Pữỡ tr tr P ố t tự r ụ ũ ởt số số ồ ũ ụ số