Cette propriété est énoncée de la façon suivante dans le cours :
Nous allons utiliser la définition du cours (en remplaçant \(a\) et \(b\) par \(x\) et \(y\)) et son commentaire :
Pour tout réel positif \(a\), on donc \(\left(\sqrt{a}\right)^2=a\).
L'idée est de faire le lien avec la définition de la racine carrée.
On pose \(y=\sqrt{a}\times \sqrt{b}\), \(y\) est positif comme produit de deux nombres positifs.
\(y^2=(\sqrt{a}\times \sqrt{b})^2=(\sqrt{a}\times \sqrt{b})\times (\sqrt{a}\times \sqrt{b})=\sqrt{a}\times \sqrt{b}\times \sqrt{a}\times \sqrt{b}=\sqrt{a}^2\times \sqrt{b}^2=a\times b\)
On pose \(x=a\times b\).
On a \(y^2=a\times b\). Donc \(y^2=x\) et \(y\ge 0\)
D'après la définition de la racine carrée, \(\sqrt{x}=y\).
D'où finalement, \(\sqrt{a\times b}=\sqrt{a}\times \sqrt{b}\)