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)$$