Обе части равенства ab=ab — неотрицательные числа: слева арифметический корень, справа произведение двух арифметических корней.
Возведём обе части в квадрат. Слева: (ab)2=ab. Справа: (ab)2=(a)2(b)2=ab.
Квадраты равны, сами числа неотрицательны — значит, равны и числа (единственность арифметического корня). Равенство доказано.
Для частного рассуждение то же: (ca)2=ca, и ca≥0.