เรากล่าวว่าจำนวนนับ N เป็นจำนวนสมบูรณ์ (Perfect number) ก็ต่อเมื่อ ผลรวมของตัวประกอบที่เป็น บวกของ N มีค่าเท่ากับ 2N ประวัติของจำนวนสมบูรณ์มีมาอย่างยาวนานซึ่งหาได้ จาก [2], [8] และ [15] มีการค้นพบจำนวน สมบูรณ์ที่เป็นคู่สี่ตัวแรกมาตั้งแต่ปี ค.ศ.100 โดยนักคณิตศาสตร์ชาวกรีกโบราณ โดยจำนวนเหล่านั้นได้แก่ 6, 28, 496 และ 8128 ต่อมา Euclid ได้บอกรูปแบบของจำนวนสมบูรณ์ที่เป็นคู่โดยพิสูจน์ว่า ถ้า 2 n-1 เป็นจำนวนเฉพาะ แล้วจำนวนที่อยู่ในรูป 2n-1(2 n-1)จะเป็นจำนวนสมบูรณ์ บทกลับของทฤษฎีนี้ถูกพิสูจน์ โดย Euler กล่าวคือ ถ้า N เป็นจำนวนสมบูรณ์ที่เป็นคู่แล้ว N จะต้องอยูในรูป 2n-1(2 n-1)เมื่อ 2 n-1 เป็นจำนวนเฉพาะ เราเรียกจำนวนเฉพาะ 2 n-1 เมื่อ n เป็นจำนวนเฉพาะนี้ว่า จำนวนเฉพาะแมร์เซน (Mersenne primes) ชื่อนี้ถูกตั้งขึ้นในศตวรรษที่ 17 โดยตั้งชื่อตามนักคณิตศาสตร์ชาวฝรั่งเศส Marin Mersenne ผู้ค้นพบ จากอดีตถึงปัจจุบันมีการค้นพบจำนวนเฉพาะแมร์เซนเพียง 48 ตัว (อ้างอิงจาก [8]) ทำให้จำนวน สมบูรณ์ที่เป็นคู่ ในรูป 2n-1(2 n-1) โดยที่ 2 n-1 เป็นจำนวนเฉพาะแมร์เซน ถูกค้นพบเพียง 48 ตัวด้วย แต่มีข้อคาดการณ์ว่ามีจำนวนสมบูรณ์อยู่มากมายนับไม่ถ้วน ส่วนจำนวนสมบูรณ์ที่เป็นคี่ยังไม่มีใคร สามารถให้คำตอบได้ว่ามีหรือไม่ และยังคงเป็นคำถามที่เก่าแก่และยังไม่มีผู้ใดหาคำตอบได้มาจนถึงปัจจุบัน เรารู้เพียงสมบัติบางประการของจำนวนสมบูรณ์ที่เป็นคี่ (ถ้ามี)