نظرية الأعداد
تضمنت اسهاماته في نظرية الأعداد أعماله حول الأعداد المثالية. وفي مخطوطته مقالة في التحليل والتركيب، كان ابن الهيثم أول من يدرك أن كل عدد مثالي له الصيغة 2ن−1(2ن − 1) حيث 2ن − 1 هو عدد أولي، لكنه لم يتمكن من إثبات هذه النتيجة بنجاح (أثبت أويلر ذلك في القرن الثامن عشر).[14]
حلّ ابن الهيثم مسائل تتضمن حالات التطابق (en) باستخدام ما يسمى الآن مبرهنة ويلسون. وفي كتابه المناظر، قال ابن الهيثم أنه لحل نظام من التطابقات، هناك طريقتين، "الأولى" الطريقة الكنسية مثلما ذكر ويلسون، و"الثانية" تشبه مبرهنة الباقي الصيني.[1