Опять за рыбу деньги. В области действительных чисел принято понятие арифметического корня из любого положительного числа. Именно,
![$\sqrt[n]{a}$ $\sqrt[n]{a}$](https://dxdy-02.korotkov.co.uk/f/d/7/2/d72b1cb22cd501be6030248b1d393f9e82.png)
при

есть положительное число

, удовлетворяющее равенству

или что то же самое
![$\sqrt[n]{a}$ $\sqrt[n]{a}$](https://dxdy-02.korotkov.co.uk/f/d/7/2/d72b1cb22cd501be6030248b1d393f9e82.png)
- это положительный корень уравнения

. В силу монотонности функции

на положительной части действительной оси этот корень единственен и арифметическое значение определено таким образом единственным образом - это функция, определённая на положительных действительных числах, обратная к возведению степень. В частности,
![$\sqrt[n]{1}=1$ $\sqrt[n]{1}=1$](https://dxdy-02.korotkov.co.uk/f/9/b/2/9b2c1a5da211079c90f45583a24aa11582.png)
-
по определению. Пытаться доказывать определение бессмысленно.
Что лежит в основе "правильной концепции

"?
Если рассматривать уравнение

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

, не определили, что это такое, то есть по сути оставили закорючкой и хотите что-то уже доказывать. Да нет и не может быть у неё никаких свойств, пока неизвестно, где она лежит и вообще, что это такое.
И поглощающее свойство нуля здесь Вам не поможет - оно справедливо в силу некотрых свойств системы (поля), а что у Вас инеизвестно и есть ли у в Вашей хренотени поглощающий элемент - не известно.