Prouver que si et sont deux entiers naturels qui ne sont pas des carrés parfaits, alors le nombre réel est irrationnel.

Une solution est disponible ici.