ما هو عدد ميرسين الأولي؟
في الرياضيات، عدد ميرسين هو عدد صحيح موجب أصغر من قوة العدد اثنين بواحد:
هو عدد مثالي زوجي. في القرن العاشر، يبدو أن ابن الهيثم كان أول من حاول تصنيف الأعداد المثالية الزوجية على شكل ( 2 k − 1 ( 2 k − 1 {\displaystyle 2^{k-1}(2^{k}-1} حيث ( 2 k − 1 ) {\displaystyle (2^{k}-1)} هو عدد أولي. في القرن الثامن عشر، برهن ليونهارد أويلر على عكس هاته المبرهنة والذي ينص على أن كل عدد مثالي زوجي له هذا الشكل.