Vladimir-80,
Вы, похоже неправильно понимаете смысл самого крючочка

.
Вы думаете, что

-- это число, которое, будучи возведённым в квадрат, даст

.
Но это было бы плохое определение -- ведь такое число не единственно!
Люди просто
договорились, что крючочек в выражении

обозначает то
неотрицательное число, которое, будучи возведённым в квадрат, даст

. Ежели кому-то понадобится именно отрицательное число, пусть пишет так

.
Таким образом, утверждение, что всегда

, не есть некая теорема, оно не требует доказательства --- это просто
договорённость.
Запись

была бы немного дикой. Ну как это -- число одновременно равно +2 и -2? Но эта запись --- просто сокращение от

. Или от

.
Ну лень же писать эти индексы, да и некогда обычно.