مبرهنة أقليدس-أويلر (بالفرنسية: Euclid–Euler theorem) هي مبرهنة في نظرية الأعداد تربط من جهة الأعداد المثالية وأعداد ميرسن من جهة ثانية. تنص هذه المبرهنة على أن عددا زوجيا ما هو عدد مثالي إذا وفقط إذا كُتب على شكل 2p−1(2p − 1) حيث 2p − 1 عدد أولي.
سُميت هذه المبرهنة هكذا نسبة إلى العالمين أقليدس وأويلر. برهن العالم الأول على الجزء الأول من التعبير إذا وفقط إذا، وبرهن الثاني على الجزء الثاني منه.