existence de la racine carrée d'un nombre positif
Un nombre positif a toujours une racine carrée.
Il suffit d'étudier ce schéma pour s'en convaincre.
Une démonstration en utilisant le théorème de Pythagore et le fait qu'un triangle rectangle a pour hypoténuse le diamètre du cercle circonscrit suffisent.