Опять за рыбу деньги. В области действительных чисел принято понятие арифметического корня из любого положительного числа. Именно,
при
есть положительное число
, удовлетворяющее равенству
или что то же самое
- это положительный корень уравнения
. В силу монотонности функции
на положительной части действительной оси этот корень единственен и арифметическое значение определено таким образом единственным образом - это функция, определённая на положительных действительных числах, обратная к возведению степень. В частности,
-
по определению. Пытаться доказывать определение бессмысленно.
Что лежит в основе "правильной концепции
"?
Если рассматривать уравнение
в поле комплексных чисел, то возможности определить арифметическое значение корня у нас нет из-за отсутствия понятия больше/меньше. Поэтому там корень считают многозначным. При необходимости, можно выделить один из корней, а остальные получать домножением на все корни из единицы. Никаких предпочтений для канонизации какого-то одного корня нет.
А в каком системе (поле, кольце или ещё какой хренотени) Вы извлекаете корень квадратный из единицы? Насколько я видел, Вы вообще не извлекаете - просто обозначили
, не определили, что это такое, то есть по сути оставили закорючкой и хотите что-то уже доказывать. Да нет и не может быть у неё никаких свойств, пока неизвестно, где она лежит и вообще, что это такое.
И поглощающее свойство нуля здесь Вам не поможет - оно справедливо в силу некотрых свойств системы (поля), а что у Вас инеизвестно и есть ли у в Вашей хренотени поглощающий элемент - не известно.