proof, prime number

[lanlaa]

รบกวนถามหน่อยนะคะ


พิสูจน์ว่า จำนวนเต็ม m,n ใดๆ แล้ว จำนวนเฉพาะ p,
ถ้า p|mn แล้ว p|m หรือ p|n


ช่วยพิสูจน์หน่อยค่ะ
ขอบคุนมากๆค่ะ

[MirRor]

แทน m , n และ p = 2
$2\mid(2)(2)$

จะได้ $2\mid2$ & $2\mid2$

[lanlaa]

ถ้าพิสูจน์แบบเอา ทบ มาอ้าง
เขียนเป็นขั้นตอน

จะทำไงอะคะ

[MirRor]

ใช้ ทบ. ของยูคริก

ตัวตั้ง = (ตัวหาร)(ผลหาร) + เศษ

แต่ที่เค้าบอกมานั้น แทน p เป็นจำนวนเฉพาะอะไรก็ได้ใช่ไหมครับ ส่วน m,n นั่นเป็นจำนวนนับใดๆ และยังบอกอีกว่าเป็นการหารลงตัว
ดังนั้น เศษ = 0

เช่น
แทน m เป็น 4 แทน n เป็น 6 และแทน p เป็น 2

mn = p(ผลหาร) + 0
(4)(6) = 2(12) + 0


m = p(ผลหาร) + 0
4 = 2(2) + 0

n = p(ผลหาร) + 0
6 = 2(3) + 0



พอจะเข้าใจบ้างไหมครับ ถ้าผิดพลาดประการใดคงต้องรอให้เทพๆมาเฉลยนะครับ T-T

[square1zoa]

ใช้ความสมมูลของประพจน์ที่ว่า $$p\rightarrow (q\vee r)\equiv (p\wedge \sim q)\rightarrow r$$

นั่นคือ ถ้า $p\mid mn$และ $p\nmid m$ แล้ว $p\mid n$

[RoSe-JoKer]

เราสามารถเขียนได้ว่า
m=px+a
n=py+b
โดยที่ x,y,a,b เป็นจำนวนนับ
เพราะว่า
$p$ หาร $(px+a)(py+b)$ ลงตัวเราจะได้ว่า
$p$ หาร $p^2xy+pay+pxb+ab$ ลงตัวด้วย
เนื่องจาก p หาร $p^2xy+pay+pxb$ ลงตัวอยู่แล้วเราจึงได้ว่า
$p$ ต้องหาร $ab$ ลงตัว และเนื่องจาก $p$ เป็นจำนวนเฉพาะจึงไม่สามารถแยกตัวประกอบได้จึงได้ว่า
$a,b$ ต้องมีซักตัวที่ $({a,b},p)=p$
WLOG
ให้ $a=pn$
เห็นได้ว่า
$m=px+pn=p(x+n) $นั้นคือ p หาร m ลงตัวนั้นเอง

[[SIL]]

เอ่อ การแทนค่าเค้าไม่ยอมรับในคณิตศาสตร์ใช่ป่ะครับ

[warut]

ข้อความเดิมเขียนโดยคุณ RoSe-JoKer

เราสามารถเขียนได้ว่า
m=px+a
n=py+b
โดยที่ x,y,a,b เป็นจำนวนนับ
เพราะว่า
$p$ หาร $(px+a)(py+b)$ ลงตัวเราจะได้ว่า
$p$ หาร $p^2xy+pay+pxb+ab$ ลงตัวด้วย
เนื่องจาก p หาร $p^2xy+pay+pxb$ ลงตัวอยู่แล้วเราจึงได้ว่า
$p$ ต้องหาร $ab$ ลงตัว และเนื่องจาก $p$ เป็นจำนวนเฉพาะจึงไม่สามารถแยกตัวประกอบได้จึงได้ว่า
$a,b$ ต้องมีซักตัวที่ $({a,b},p)=p$
WLOG
ให้ $a=pn$
เห็นได้ว่า
$m=px+pn=p(x+n) $นั้นคือ p หาร m ลงตัวนั้นเอง

ผมว่าการพิสูจน์อันนี้มันเป็นการให้เหตุผลแบบงูกินหางนะครับ

ถ้าหากเราอ้างได้ว่า

"$p$ ต้องหาร $ab$ ลงตัว และเนื่องจาก $p$ เป็นจำนวนเฉพาะจึงไม่สามารถแยกตัวประกอบได้จึงได้ว่า $a,b$ ต้องมีซักตัวที่ $(\{a,b\},p)=p$"

เราก็อ้างแบบนี้ได้ตั้งแต่แรกเลย โดยแทน $a$ ด้วย $m$ และแทน $b$ ด้วย $n$ ไม่ต้องไปแปลงต่อให้ยุ่งยาก

[RoSe-JoKer]

ครับ รับทราบแล้วครับ

[toota]

พิสูจน์ตามความเห็นที่ 5 ครับ
ให้ $p|mn$ และ $p\not | m$ แล้ว
$mn = pq \exists q \in \mathbb{Z}$ และ $m = pq_1+r_1 \exists q_1 \in \mathbb{Z}$ และ $\exists r_1 \in \mathbb{N}$ โดยที่ $0<r_1<p$
ดังนั้น $mn = npq_1 + nr_1$ แต่เนื่องจาก $mn = pq$
เพราะฉะนั้น $nr_1 = pq_2 \exists q_2 \in \mathbb{Z}$
แต่เนื่องจาก $0<r_1<p$ ดังนั้น $p|n$

[คusักคณิm]

ข้อความเดิมเขียนโดยคุณ [SIL]

เอ่อ การแทนค่าเค้าไม่ยอมรับในคณิตศาสตร์ใช่ป่ะครับ

การแทนค่าแบบคณิตศาสตร์ก็มี
เขาเรียกว่า trial and error หรือการลองผิดลองถูก
ดูเพิ่มtrial and error
link: http://en.wikipedia.org/wiki/Trial_and_error

สามารถเขียนได้สองแบบ คือ Trial and error หรือ Trial by error ถ้าใช้ในทางคณิตศาสตร์ (algebra) นั่นก็คือ guess and check ถ้าใช้ในทางคอมพิวเตอร์ นั่นก็คือ generate and test.

ที่มาของคำนี้ โดยส่วนใหญ่ใช้ในทางวิทยาศาสตร์ หมายถึง ตามทฤษฏีที่ได้ตั้งไว้เป็นสูตร มีอะไรบ้างที่สอดคล้องเป็นไปตามหลักนั้น ๆ ซึ่งข้อมูลที่ได้มานั้นมีที่มาก็จากกรากฐานเบื้องต้นของความเป็นคนช่างสงสัยของมนุษย์ แล้วถูกนำมาเป็นการตั้งสมมติฐานให้ได้ทดลองปฏิบัติ เมื่อลองนำมาปฏิบัติ ถ้าเป็นไปตามหลักการ นั่นก็คือ ถูก ถ้าไม่เป็นไปตามหลัก นั่นก็คือ ผิด แต่จะถูกหรือผิดนั้นไม่ใช่คำตอบของทางวิทยาศาสตร์ มันอาจเป็นเรื่องของตัวแปรต่าง ๆ ที่เข้ามาเป็นส่วนประกอบ เช่น ทฤษฎีชื่อดังของไอสไตน์ อี พลังงาน เท่ากับ มวลสาร คูณ ความเร็วแสง ซึ่งได้ถูกนำมาทดลองในเรื่องต่าง ๆ มากมาย

ปล. คนมันเทพ(ล้อเล้นนะ)

[POSN_Psychoror]

ข้อความเดิมเขียนโดยคุณ lanlaa

รบกวนถามหน่อยนะคะ


พิสูจน์ว่า จำนวนเต็ม m,n ใดๆ แล้ว จำนวนเฉพาะ p,
ถ้า p|mn แล้ว p|m หรือ p|n


ช่วยพิสูจน์หน่อยค่ะ
ขอบคุนมากๆค่ะ

สิ่งที่เราต้องพิสูจน์จะสมมูลกับ "ถ้า $p\mid mn$ และ $p\nmid n$ แล้ว $p\mid m$
จาก $p\mid mn$ ได้ว่า จะมี $k$ ที่ทำให้ $mn=kp$
นั่นคือ $m=\frac{kp}{n}$
แต่จาก $m\in \mathbf{I} $ และ $n\nmid p$
แสดงว่า $n\mid k$
นั่นคือ $ p\mid m$ ตามต้องการ

[ปลากะพง ณ บาดาล]

ข้อความเดิมเขียนโดยคุณ toota

พิสูจน์ตามความเห็นที่ 5 ครับ
ให้ $p|mn$ และ $p\not | m$ แล้ว
$mn = pq \exists q \in \mathbb{Z}$ และ $m = pq_1+r_1 \exists q_1 \in \mathbb{Z}$ และ $\exists r_1 \in \mathbb{N}$ โดยที่ $0<r_1<p$
ดังนั้น $mn = npq_1 + nr_1$ แต่เนื่องจาก $mn = pq$
เพราะฉะนั้น $nr_1 = pq_2 \exists q_2 \in \mathbb{Z}$
แต่เนื่องจาก $0<r_1<p$ ดังนั้น $p|n$

ผมยังงงบรรทัดสุดท้ายครับ จาก $nr_1 = pq_2$ กับ $0<r_1<p$ แล้วทำไม $p\mid n$ ครับ?

ข้อความเดิมเขียนโดยคุณ POSN_Psychoror

สิ่งที่เราต้องพิสูจน์จะสมมูลกับ "ถ้า $p\mid mn$ และ $p\nmid n$ แล้ว $p\mid m$
จาก $p\mid mn$ ได้ว่า จะมี $k$ ที่ทำให้ $mn=kp$
นั่นคือ $m=\frac{kp}{n}$
แต่จาก $m\in \mathbf{I} $ และ $n\nmid p$
แสดงว่า $n\mid k$
นั่นคือ $ p\mid m$ ตามต้องการ

ตรง $m=\frac{kp}{n}$ กับ $n\nmid p$ แล้วสรุปว่า $n\mid k$ ผมว่ามันแปลกๆ อยู่นะ
อืม.. ถ้าอย่างนั้น ผมก็ไม่ต้องทำข้างบนยาวๆ ก็ได้ ผมแค่บอกว่า
จาก $\frac{mn}{p}$ เป็นจำนวนเต็ม และ $p\nmid m$ แสดงว่า $p\mid n$
ซึ่งใช้วิธีการอ้างเหตุผลเหมือนข้างบน

สิ่งที่อ้างคือความจริงสิ่งที่ต้องการพิสูจน์ ดังนั้นมันจึงกลายเป็นการพิสูจน์แบบงูกินหางครับผม

วิธีการพิสูจน์ที่เจอในหนังสือของท่าน Euclid ลองอ่านที่ http://en.wikipedia.org/wiki/Euclid%27s_lemma