Vladimir-80,
Вы, похоже неправильно понимаете смысл самого крючочка
.
Вы думаете, что
-- это число, которое, будучи возведённым в квадрат, даст
.
Но это было бы плохое определение -- ведь такое число не единственно!
Люди просто
договорились, что крючочек в выражении
обозначает то
неотрицательное число, которое, будучи возведённым в квадрат, даст
. Ежели кому-то понадобится именно отрицательное число, пусть пишет так
.
Таким образом, утверждение, что всегда
, не есть некая теорема, оно не требует доказательства --- это просто
договорённость.
Запись
была бы немного дикой. Ну как это -- число одновременно равно +2 и -2? Но эта запись --- просто сокращение от
. Или от
.
Ну лень же писать эти индексы, да и некогда обычно.