De façon plus générale, si un entier n n'est pas un carré parfait, alors sa racine carrée est irrationnelle.
En effet, par l'absurde, si on avait

avec p et q entiers. Alors on aurait

.
Comme n n'est pas un carré parfait, l'un de ses facteurs premiers (noté a par la suite) apparait avec une puissance impaire dans la DFP de n.
Sa puissance (de a) dans

est alors impaire, alors que sa puissance dans

est paire : l'uncité de la DFP se trouve contredite.