Het kwadraat van de positieve vierkantswortel van een positief reële getallen
is steeds dit geval
-A a E R+ : (vierkantswortel a) tot de 2de = a
De positieve vierkantswortel uit een product van positieve reële getallen
is gelijk aan het product van de positieve vierkantswortels van de factoren.
- A a,b E R+ : vierkantswortel a.b = vierkantswortel a . vierkantswortel b
De positieve vierkantswortel uit een quotiënt van positieve reële getallen waarvan de delen niet nul is
is gelijk aan het quotiënt van de positieve vierkantswortels uit deeltal en deler
-A a E R+ , A b E R+0 : vierkantswortel a/b = vierkantswortel a / vierkantswortel b
De positieve vierkantswortel uit een n-de macht van een positief reëel getal
is gelijk aan de n-de macht van de positieve vierkantswortel van het grond getal
- A a E R+ , A n E N : vierkantswortel a tot de 2de = (vierkantswortel a) tot de 2de