@@@ïÛëc@…†Ç@@233@æc@´i@@H @@Þëþa@åíŠànÛa
@@@0@´i@ñ‰ì–a@òîÈîjĐÛa@òzîz–Ûa@…a†Çþa@òÇìà©@ A @åØnÛ@@H3
@@@Z@ïÜí@b¶@ҊȽa@ A ì−@ A åß@ f @ÕîjĐnÛa@nÈã@N@232@ë@@
@@…†ÈÜÛ@@òí†îÜÓþa@òàŽÔÛa@ïÓbi@ìç@ f (a ) @æhÏ@ A @åß@ a @ÝØÛ@
@@@N@233@óÜÇ@ a 195 @@
@@ ( ∀ ( a, b ) ∈ A2 ) @@ f (a ) = f (b ) ⇒ a = b @@æc@´i@Mc@
@@@ f (a ) = b @sî¡@ A @åß@@ a @…†y@ A @åß@ b @åØîÛ@@Ml@
@@@@ïŽØÈÛa@éÜibÔm@…†y@ë@ÝibÔm@ f @æc@wnäna@@Mx@ @@@ p ∧ q = 1 @@Éß@@ n + 1 = 2q ; n 2 + 1 = 2 p @@Éšã@@Mx
@@ßb¨a@åíŠànÛa
@@ ℤ @¿@nÈã@ë@ ( E ) 48x − 13 y = 6 @òÛ…bȽa@ ℤ2 @¿@nÈã@
x ≡ 2 [ 48]
@@@ ( S )  @òàÄäÛa@@
 x ≡ 8 [13]
@@ y @áŽÔí@@6@@@æhÏ@ ( E ) @Þ@ýy@ ( x , y ) @æb×@a‡g@éãc@´i@H1@@
@ ( E ) @òÛ…bȽa@ ℤ @¿@Ýy@H2@@
2
@@@@@ d = x ∧ y @Éšã@ë@ ( E ) @òÛ…bÈàÜÛ@ýy@ ( x , y ) @åØîÛ@@H3@@
@@@_@ d @áîÓ@ïç@bß@@Mc@
@ d = 6 @bèÜuc@åß@æìØí@Ûa@ë@ ( E ) @ÞìÜy@ ( x , y ) @…†y Ml
@ @@@@@ 2a + b = ka 2 ; d 2a 2 + 7 = kb @@@
@æb×@ @ a‡g@ ÁÔÏë@ a‡g@ ( S ) @ òàÄäÜÛ@ Ýy@ x @ æc@ ´i Mx@
( E ) @òÛ…bÈàÜÛ@ýy@ (α , β ) @sîy@ x = 48α + 2
( S ) @òàÄäÛa@ÞìÜy@wnäna@@M…
@@÷…bŽÛa@åíŠànÛa
x ≡ a p 
@@@ (S ) @  @Z@òîÛbnÛa@òàÄäÛa@ ℤ @¿@nÈã@
x ≡ b q 
@@@ p ∧ q = 1 @ë@òîjŽã@òzîz•@…a†Çc@ q ; p ; b ; a @sîy@@
@@@ ℤ2 @åß@ (u 0 ,v 0 ) @xë‹@†uìí@æc@´i@@Mc@H1
@@@ pu 0 + qv 0 = 1 @sî¡@@
@@@ (S ) @òàÄäÜÛ@Ýy@ x 0 = bpu 0 + aqv 0 @@æc@´i@@Ml@@
@@@@N@ pq ( x − x 0 ) @æc@´i@ (S ) @òàÄäÜÛ@ýy@ x @åØîÛ@@H2
@@@@ x − x 0 @…†ÈÛa@áŽÔí@@ pq @@sî¡@bîjŽã@bzîz•@ x @åØîÛ@H3
@@@N@ (S ) @òàÄäÜÛ@Ýy@@ x @@æc@´i@@@
@@@N (S ) @òàÄäÜÛ@ÞìÜy@wnäna@@H4
x ≡ 1 8
@@@@  @Z@òîÛbnÛa@òàÄäÛa@ ℤ @¿@Ýy@@H5
x ≡ 3 13
@@
@@@ (n 2 + 1) ∧ ( n + 1) @…†ÈÛa@@ n @òîuëŒÛ@bÈjm@…†y@@@Mc@@H1
@@@ýßb×@bÈiŠß@îÛ@@ n 2 + 1 @æc@´i@@@Ml@@@
@@@Z@sî¡@ë@ò߆Èäß@Ë@òîÈîj@…a†Çc@ n ; b ; a @åØnÛ@H2
@@@ a ∧ b = 1 ; a (n 2 + 1) = b 2 ( n + 1) @@@
@@@@ b ≤ n @@ë@@ a ≤ n @æc@wnäna@áq@@ a ∧ b 2 = 1 @æc@´i@@Mc
@@@@@ (n 2 + 1) ∧ (n + 1) = 2 @æc@´i@@Ml
@@@ b 2 = p @@ë@@ a = q @@æc@´i@@@@
@@@ n ; b ; a @…a†Çþa@…†y@ b = a + 1 @æc@@āÐã@@M…
@@ïãbrÛa@åíŠànÛa
@@@ (E ) @@ x 2 ( x 2 + 7 ) = y ( 2x + y ) @@Z@@òÛ…bȽa@ ℕ 2 @¿@nÈã
@@@ d = x ∧ y ; x = d a ; y = d b @Éšã@ë@@@@
@@N@@ (E ) @òÛ…bÈàÜÛ@ýy@ ( x , y ) @æc@āÐã@H1
@@@@@ a 2 (d 2a 2 + 7 ) = b ( 2a + b ) @æc@ÕÔ¤@@Mc@@@
@@Z@sî¡@ k @ïÈîj@…†Ç@†uìí@éãc@wnäna@@@Ml@@@
@@@ a = 1 @æc@´i@@@Mx@@
@@@ (b + 1) = d 2 + 8 @æc@wnäna@@@M…@@
2
@@@ (E ) @òÛ…bȽa@ ℕ 2 @¿@Ýy@@H2
@@sÛbrÛa@åíŠànÛa
@@@@Z@òÛ…bȽa@ ℕ* × ℕ* @¿@nÈã@
@@@ (E ) @@ x 2 ( x + y ) = y 2 ( x − y ) @@@
2
@@@N@ (E ) @òÛ…bÈàÜÛ@ýy@ ( x , y ) @åØîÛ@@H1
@@@@@@@ y = b d ; x = a d ; 1 = a ∧ b @Éšã@@@
@@@ d b 2 (a − b ) = (a + b ) a 2 @æc@ÕÔ¤@@Mc@
2
@@@ b = 1 @@@Zæc@wnäna@Ml
@@@ (a − 1) (a + 1) @ë@ a ≠ 1 @æc@´i@@Mx
@@@ a = 3 @@ëc@@ a = 2 @@Z@æc@wnäna@@M…
@@@ (E ) @òÛ…bÈàÜÛ@ ℕ* × ℕ* @¿@Ýy@@H2
@@ÉiaŠÛa@åíŠànÛa
@@@@ (E ) @ 195x − 232y = 1 @@Z@@òÛ…bȽa@ ℤ2 @¿@nÈã @@H1
@@@@195 ∧ 232 @…†y@@Mc
@@@ (E ) @òÛ…bȽa@ÞìÜy@òÇìà©@…†y@@Ml
@@ 0 ≤ d ≤ 232 @sî¡@ d @ïÈîjĐÛa@|îz–Ûa@…†ÈÛa@†uëc@@Mx
@@@@ 195 d ≡ 1 232 @ë@@@@