ตรวจสอบจำนวนสมบูรณ์

เกี่ยวกับ ตรวจสอบจำนวนสมบูรณ์

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

จำนวนสมบูรณ์คืออะไร?

จำนวนสมบูรณ์ คือจำนวนเต็มบวกที่มีค่าเท่ากับผลบวกของ ตัวหารแท้ ของมันเอง (ตัวหารที่เป็นบวกทั้งหมดโดยไม่รวมตัวเลขนั้นเอง) จำนวนสมบูรณ์นั้นหาได้ยากมากและเป็นที่สนใจของนักคณิตศาสตร์มานานกว่า 2,000 ปี ตั้งแต่สมัยกรีกโบราณ

จำนวนสมบูรณ์สองสามจำนวนแรก ได้แก่:

• 6 = 1 + 2 + 3
• 28 = 1 + 2 + 4 + 7 + 14
• 496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248
• 8,128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064

จำนวนเกินและจำนวนพร่อง

จำนวนเต็มบวกทุกจำนวนจะถูกจัดอยู่ในหนึ่งในสามหมวดหมู่ตามผลบวกของตัวหารแท้เมื่อเทียบกับตัวมันเอง ดังนี้:

• จำนวนสมบูรณ์ (Perfect): ผลบวกของตัวหารแท้ = ตัวเลขนั้น (เช่น 6, 28, 496)
• จำนวนเกิน (Abundant): ผลบวกของตัวหารแท้ > ตัวเลขนั้น (เช่น 12, 18, 20, 24)
• จำนวนพร่อง (Deficient): ผลบวกของตัวหารแท้ < ตัวเลขนั้น (เช่น 1, 2, 3, 4, 5, 7, 8)

จำนวนส่วนใหญ่เป็นจำนวนพร่อง จำนวนเฉพาะทั้งหมดเป็นจำนวนพร่อง (เนื่องจากตัวหารแท้เพียงตัวเดียวคือ 1) จำนวนเกินที่น้อยที่สุดคือ 12 ซึ่งมีตัวหารคือ 1 + 2 + 3 + 4 + 6 = 16 > 12

ความเชื่อมโยงกับจำนวนเฉพาะแมร์แซน

หนึ่งในผลลัพธ์ที่น่าทึ่งที่สุดในทฤษฎีจำนวนซึ่งพิสูจน์โดยออยเลอร์ ระบุว่า จำนวนสมบูรณ์คู่ ทุกจำนวนจะมีรูปแบบดังนี้:

ซึ่งหมายความว่าการค้นหาจำนวนสมบูรณ์ใหม่นั้นเทียบเท่ากับการหา จำนวนเฉพาะแมร์แซน ใหม่ (จำนวนเฉพาะในรูป \(2^p - 1\)) ณ ปี 2024 มีการค้นพบจำนวนเฉพาะแมร์แซนเพียง 51 จำนวน ซึ่งตรงกับจำนวนสมบูรณ์คู่ 51 จำนวนที่รู้จัก

มีจำนวนสมบูรณ์คู่อยู่จริงหรือไม่?

การที่มี จำนวนสมบูรณ์คี่ อยู่หรือไม่นั้นเป็นหนึ่งในปัญหาที่เก่าแก่ที่สุดที่ยังแก้ไม่ได้ในคณิตศาสตร์ ยังไม่มีใครพบจำนวนสมบูรณ์คี่เลย และมีการพิสูจน์แล้วว่าหากมีอยู่จริง จำนวนนั้นจะต้องมีค่ามากกว่า \(10^{1500}\) และมีปัจจัยเฉพาะอย่างน้อย 75 ตัว นักคณิตศาสตร์ส่วนใหญ่เชื่อว่าไม่มีอยู่จริง แต่การพิสูจน์ยังคงเป็นเรื่องยาก

ดัชนีความสมบูรณ์

ดัชนีความสมบูรณ์ (Abundancy index) ของจำนวน \(n\) นิยามโดย \(\sigma(n)/n\) โดยที่ \(\sigma(n)\) คือผลบวกของตัวหารทั้งหมดของ \(n\) (รวมถึง \(n\) เอง) อัตราส่วนนี้ให้มาตรวัดที่ต่อเนื่องว่าจำนวนหนึ่ง "เกิน" หรือ "พร่อง" เพียงใด:

• จำนวนสมบูรณ์จะมีดัชนีความสมบูรณ์เท่ากับ 2 พอดีเสมอ
• จำนวนเกินจะมีดัชนีความสมบูรณ์ มากกว่า 2
• จำนวนพร่องจะมีดัชนีความสมบูรณ์ น้อยกว่า 2

วิธีใช้เครื่องคำนวณนี้

1. กรอกตัวเลข: พิมพ์จำนวนเต็มบวกใดๆ ลงในช่องป้อนข้อมูล หรือคลิกปุ่มตัวอย่างเพื่อลองใช้ตัวเลขที่มีชื่อเสียง
2. ตรวจสอบตัวเลข: คลิก "ตรวจสอบตัวเลข" เพื่อคำนวณตัวหารแท้และผลบวกของตัวหารเหล่านั้น
3. ดูการจำแนกประเภท: ดูว่าตัวเลขของคุณเป็นจำนวนสมบูรณ์ จำนวนเกิน หรือจำนวนพร่อง ในแบนเนอร์แสดงผลแบบเคลื่อนไหว
4. สำรวจภาพประกอบ: ตรวจสอบแผนภูมิแท่งตัวหาร การเปรียบเทียบแบบโดนัท คู่ตัวหาร และการคำนวณทีละขั้นตอน

ตัวเลขที่น่าสนใจ

คำถามที่พบบ่อย

จำนวนสมบูรณ์คืออะไร?

จำนวนสมบูรณ์คือจำนวนเต็มบวกที่มีค่าเท่ากับผลบวกของตัวหารแท้ของมันเอง (ตัวหารที่เป็นบวกทั้งหมดโดยไม่รวมตัวมันเอง) ตัวอย่างเช่น 6 เป็นจำนวนสมบูรณ์เพราะ 1 + 2 + 3 = 6 และ 28 เป็นจำนวนสมบูรณ์เพราะ 1 + 2 + 4 + 7 + 14 = 28

จำนวนเกินและจำนวนพร่องแตกต่างกันอย่างไร?

จำนวนเกินมีตัวหารแท้ที่รวมกันแล้วมากกว่าตัวมันเอง (เช่น 12: 1+2+3+4+6=16 > 12) จำนวนพร่องมีตัวหารแท้ที่รวมกันแล้วน้อยกว่าตัวมันเอง (เช่น 8: 1+2+4=7 < 8) จำนวนสมบูรณ์คือกรณีที่หาได้ยากซึ่งผลบวกเท่ากับตัวมันเองพอดี

มีการค้นพบจำนวนสมบูรณ์แล้วกี่จำนวน?

ณ ปี 2024 มีการค้นพบจำนวนสมบูรณ์เพียง 51 จำนวนเท่านั้น จำนวนสมบูรณ์ทั้งหมดที่รู้จักเป็นจำนวนคู่ การที่มีจำนวนสมบูรณ์คู่อยู่หรือไม่ยังคงเป็นหนึ่งในปัญหาที่เก่าแก่ที่สุดที่ยังแก้ไม่ได้ในทางคณิตศาสตร์ จำนวนสมบูรณ์ที่ใหญ่ที่สุดที่รู้จักมีมากกว่า 49 ล้านหลัก

ความสัมพันธ์ระหว่างจำนวนสมบูรณ์และจำนวนเฉพาะแมร์แซนคืออะไร?

ออยเลอร์พิสูจน์แล้วว่าทุกจำนวนสมบูรณ์คู่จะมีรูปแบบ \(2^{p-1} \times (2^p - 1)\) โดยที่ \(2^p - 1\) เป็นจำนวนเฉพาะแมร์แซน ในทางกลับกัน ทุกจำนวนเฉพาะแมร์แซนจะสร้างจำนวนสมบูรณ์ผ่านสูตรนี้ ดังนั้นการหาจำนวนสมบูรณ์ใหม่จึงเทียบเท่ากับการหาจำนวนเฉพาะแมร์แซนใหม่

ดัชนีความสมบูรณ์คืออะไร?

ดัชนีความสมบูรณ์ของจำนวน \(n\) คืออัตราส่วน \(\sigma(n)/n\) โดยที่ \(\sigma(n)\) คือผลบวกของตัวหารทั้งหมดของ \(n\) (รวมถึงตัวมันเอง) จำนวนสมบูรณ์จะมีดัชนีความสมบูรณ์เท่ากับ 2 พอดีเสมอ จำนวนเกินจะมีดัชนีมากกว่า 2 และจำนวนพร่องจะมีดัชนีน้อยกว่า 2

แหล่งข้อมูลเพิ่มเติม

• จำนวนสมบูรณ์ - Wikipedia
• จำนวนเกิน - Wikipedia
• จำนวนพร่อง - Wikipedia
• จำนวนเฉพาะแมร์แซน - Wikipedia