418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 6

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา

ข้อ 1

สมมติว่า n เป็นจำนวนเต็มคู่ ให้ k เป็นจำนวนเต็มที่ทำให้ เราจะได้ว่า ดังนั้น ก็เป็นจำนวนเต็มคู่ด้วยเช่นกัน

สมมติว่า n เป็นจำนวนเต็มคี่ ให้ k เป็นจำนวนเต็มที่ทำให้ เราจะได้ว่า ดังนั้น

Error

Too many requests (f061ab2)

ก็เป็นจำนวนเต็มคี่ด้วยเช่นกัน

ข้อ 2

ให้ x เป็นจำนวนจริงใดๆ เราจะแสดงว่ามีจำนวนเต็ม y ที่ทำให้ ก็ต่อเมื่อ

Error

Too many requests (f061ab2)

สมมติว่า เราได้ว่า เกิดข้อขัดแย้งไม่มี y จะมีค่าเท่าใดก็ตาม ฉะนั้นเราสามารถสรุปได้ว่าถ้ามีจำนวนเต็ม y ที่ทำให้ แล้ว

สมมติว่า ให้

Error

Too many requests (f061ab2)

เราได้ว่า

ข้อ 3

สมมติให้ และสมมติให้ เป็นสมาชิกใดๆ ของ เราได้ว่า

Error

Too many requests (f061ab2)

เนื่องจาก เราได้ว่า

Error

Too many requests (f061ab2)

ด้วย ฉะนั้น

เนื่องจาก เป็นสมาชิกใดๆ ของ เราจึงสรุปได้ว่า

Error

Too many requests (f061ab2)

สมมติให้ แสดงว่ามีสมาชิก อย่างน้อยหนึ่งตัวที่

Error

Too many requests (f061ab2)

แต่

เราได้ว่า ดังนั้น แต่

Error

Too many requests (f061ab2)

ดังนั้น

ฉะนั้นเราจึงสามารถสรุปได้ว่า

ข้อ 4

เราจะใช้ทฤษฎีบทต่อไปนี้:

ทฤษฏีบท ถ้า p เป็นจำนวนเฉพาะและถ้า p หาร mn ลงตัวเมื่อ m และ n เป็นจำนวนเต็มแล้ว p หาร m หรือ p หาร n ลงตัว

สมมติว่า 15 หาร n ลงตัว ให้ k เป็นจำนวนเต็มที่ทำให้ เราได้ว่า

Error

Too many requests (f061ab2)

ดังนั้น 3 หาร n ลงตัวและ 5 หาร n ตัว

Error

Too many requests (f061ab2)

สมมติให้ 3 หาร n ลงตัวและ 5 หาร n ลงตัว ให้ k เป็นจำนวนเต็มที่ทำให้

เนื่องจาก 5 หาร n ลงตัว 5 ต้องหาร 3k ลงตัวด้วย

ใช้ทฤษฎีบทข้างบน เราได้ว่า 5 ต้องหาร 3 ลงตัว หรือไม่ 5 ต้องหาร k ลงตัว แต่เนื่องจาก 5 หาร 3 ไม่ลงตัว เราได้ว่า 5 ต้องหา k ลงตัว ฉะนั้นให้ m เป็นจำนวนเต็มที่ทำให้ กล่าวคือ

Error

Too many requests (f061ab2)

ดังนั้น 15 หาร n ลงตัว

ข้อ 5

ให้ a และ b เป็นจำนวนเต็ม ให้ c = ab เราจะได้ว่า a หาร c ลงตัว และ b หาร c ลงตัว

รายการเลือกการนำทาง