a2≤b2⟺b2−a2≥0⟺(b−a)(b+a)≥0 elde edilir. Bu aşamada ya b+a>0 ya da b+a=0 dır. b+a=0 ise b=a=0 olmalıdır ve a≤b sağlanmış olur. Dolayısıyla b+a>0 halini inceleyelim. Bu durumda (b−a)(b+a)≥0⟺b−a≥0⟺b≥a elde edilir.
Bulduğumuz a2≤b2⟺a≤b özelliğini negatif olmayan bu sayıların karekökü için de uygularsak, yani a yerine √a, b yerine de √b koyarsak a≤b⟺√a≤√b elde ederiz. İspat tamamlanmış olur.