Dans le triangle $IJK$, rectangle en $J$, le théorème de Pythagore permet d'écrire: $$\Eqalign{ IK^2&=IJ^2+JK^2\cr 9^2&=5^2+JK^2\cr 81&=25+JK^2\cr JK^2&=81-25\cr JK^2&=56\cr JK&=\sqrt{56}\cr JK&\simeq7,5\cr }$$ \par La longueur $JK$ mesure environ $7,5\,mm$. \par \begin{defi} On appelle {\em\bf racine carrée} d'un nombre positif $a$ le seul nombre \underline{positif} dont le carré est $a$. $$\left(\sqrt a\right)^2=a\kern1cm(a\geq0)$$