Source: https://le-castillon.etab.ac-caen.fr/IMG/pdf/Rationnels_et_irrationnels_-_Irrationnalite_de_racine_de_2.pdf