Квадрат любого действительного числа всегда больше либо равен нулю.
Если (ab-1)²≥0 и (a-b)²≥0, то (ab-1)²+(a-b)²≥0 - ч.т.д
