La distance de l'origine au point (a, b) est sqrt(a^2 + b^2) . Montre-le