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

จาก Theory Wiki
รุ่นแก้ไขเมื่อ 19:27, 27 มิถุนายน 2552 โดย Cardcaptor (คุย | มีส่วนร่วม) (→‎ข้อ 4)
(ต่าง) ←รุ่นแก้ไขก่อนหน้า | รุ่นแก้ไขล่าสุด (ต่าง) | รุ่นแก้ไขถัดไป→ (ต่าง)
ไปยังการนำทาง ไปยังการค้นหา

ข้อ 1

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

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

ข้อ 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 ตัว

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

Error

Too many requests (f061ab2)

เนื่องจาก 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 ลงตัว

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