Proposition 2.

1 ถ้า (x , y , z)∈ Z 3 เป็ นผลเฉลยของสมการไดโอแฟนไทน์ x 2+ 3 y2 =z 2 แล้ว

gcd ( 3 , xz )=1

พิสูจน์ สมมติวา่ (x , y , z) เป็ นผลเฉลยหนึง่ ของสมการไดโอแฟนไทน์ x + 3 y =z โดยที่ 2 2 2

gcd ( x , y )=1 เราจะพิสจ ู น์วา่ gcd ( 3 , xz )=1 โดยจะพิสจู น์โดยใช้ วิธีขดั แย้ ง
สมมติ gcd ( 3 , xz )=d โดยที่ d ≠1
ดังนันจะได้
้ วา่ d∨3 และ d∨xz เพราะว่า d∨3 ดังนัน้ d=1, 3 แต่จากที่เราสมมติไว้ ว่า d ≠1
ดังนันจึ้ งได้ ว่า d=3 เท่านัน้ จาก d∨xz และเรารู้ว่า d=3 ดังนันจึ ้ งได้ วา่ 3∨xz
ทฤษฎีบทประกอบ 1 ให้ a , b ∈ Z และ p เป็ นจำนวนเฉพาะ จะได้ วา่ ถ้ า p∨ab แล้ ว p∨a
หรื อ p∨b
เนื่องจาก 3 เป็ นจำนวนเฉพาะ และ 3∨xz ดังนันโดยทฤษฎี
้ บทประกอบ 1 จะได้ วา่
3∨x หรื อ 3∨z ดังนันเราจะมาพิ
้ จารณาสองกรณีตอ่ ไปนี ้
กรณีท่ ี 1 3∨x
ดังนันจะมี
้ x ∈ Z ที่ทำให้ x=3 x จาก x + 3 y =z จะได้ วา
1 1 ่ 2 2 2

2 2 2
( 3 x 1 ) + 3 y =z
9 x 12+3 y 2=z 2
3 ( 3 x 12+ y2 )=z 2

ดังนัน้ 3∨z
2
โดย ทฤษฎีบทประกอบ 1 จะได้ วา่ 3∨z

ดังนันจะมี
้ z1 ∈ Z ที่ทำให้ z=3 z 1

จาก 3 (3 x 1
2
+ y )=z จะได้
2 2

3 ( 3 x 1 2 + y2 ) = ( 3 z 1 )
2

3 ( 3 x 12+ y2 ) =9 z 12
3 x 12 + y 2=3 z 12
2 2 2
y =3 z 1 −3 x 1
¿ 3 ( z 12−x 12)
เนื่องจาก y มี 3 เป็ นตัวประกอบ ดังนัน้ y จึงมี 3 เป็ นตัวประกอบด้ วย
2

ดังนันจะมี
้ y ∈ Z ที่ทำให้ y=3 y ซึง่ ทำให้ ได้ วา
1 ่ 3∨ y
1

ทฤษฎีบทประกอบ 2 ให้ a , b ∈ Z ซึง่ a ≠ 0 หรื อb ≠ 0 จะได้ วา่ สำหรับจำนวนเต็ม c ใดๆ ถ้ า

c∨a และ c∨bแล้ วc∨gcd ⁡( a , b)
เนื่องจาก 3∨x และ 3∨ y ดังนันโดยทฤษฎี
้ บทประกอบ 2 จะได้ วา่ 3∨gcd ⁡( x , y ) แต่เรารู้วา่
gcd ( x , y )=1 ดังนันจะได้
้ 3∨1 ซึง่ เป็ นไปไม่ได้ ดังนันเกิ
้ ดข้ อขัดแย้ ง
กรณีท่ ี 2 3∨z
ดังนันจะมี
้ z ∈ Z ที่ทำให้ z=3 z จาก
1 1
2
x + 3 y =z
2 2
จะได้ วา่
2 2 2
x + 3 y =( 3 z1 )
2 2 2
x + 3 y =9 z
x 2=9 z 2−3 y 2
x =3 ( 3 z − y )
2 2 2

ดังนัน้ 3∨x2 โดย ทฤษฎีบทประกอบ 1 จะได้ วา่ 3∨x

ดังนันจะมี
้ x ∈ Z ที่ทำให้ x=3 x
1 1

จาก x =3 ( 3 z − y ) จะได้
2 2 2

( 3 x 1 ) =3 ( 3 z 2− y 2 )
2

9 x 12=3 ( 3 z2 − y 2 )
2 2 2
3 x 1 =3 z − y
2 2 2
y =3 z −3 x 1
y =3 ( z − x1 )
2 2 2

ดังนัน้ 3∨ y 2 โดย ทฤษฎีบทประกอบ 1 จะได้ วา

่ 3∨ y
ทฤษฎีบทประกอบ 2 ให้ a , b ∈ Z ซึง่ a ≠ 0 หรื อb ≠ 0 จะได้ วา่ สำหรับจำนวนเต็ม c ใดๆ ถ้ า
c∨a และ c∨bแล้ วc∨gcd ⁡( a , b)
เนื่องจาก 3∨x และ 3∨ y ดังนันโดยทฤษฎี
้ บทประกอบ 2 จะได้ วา่ 3∨gcd ⁡( x , y ) แต่เรารู้ว่า
gcd ( x , y )=1 ดังนันจะได้
้ 3∨1 ซึง่ เป็ นไปไม่ได้ ดังนันเกิ
้ ดข้ อขัดแย้ ง
จากทังสองกรณี
้ จะเห็นว่าเกิดข้ อขัดแย้ ง เพราะฉะนันที
้ ่สมมติไว้ ไม่จริ ง เพราะฉะนัน้
gcd ( 3 , xz )=1