Évaluons : $\mathrm{norm}\left(\mathrm{coord}(5;12)\right)$

ⅰ $\mathrm{norm}\left(\mathrm{coord}(5;12)\right)$ = $\sqrt{5^2+{12}^2}$

$\sqrt{5^2+{12}^2}$

ⓘ On calcule les puissances avant les multiplications, les additions et les soustractions. Avec un exposant entier strictement positif, une puissance correspond à un produit répété : $5^2$ = $5\times 5$ = $25$■On calcule les puissances avant les multiplications, les additions et les soustractions. Une puissance d'exposant entier strictement positif est un produit répété : ${12}^2$ = $12\times 12$ = $144$

$\sqrt{25+144}$

ⓘ On commence par calculer ce qui est entre parenthèses : $25+144$ = $169$

$\sqrt{169}$

ⓘ La racine carrée d'un nombre réel positif ou nul est le nombre positif ou nul dont le carré vaut ce nombre : $\sqrt{169}$ = $13$ car ${13}^2$ = $169$

▶Résultat :   $13$