Проверить, что векторы и образуют ортонормированную систему и дополнить ее до ортонормированного базиса линейного просторанства R^4

Наша задача состоит из двух частей. Сначала проверим, что заданные векторы
  a₁ = (1/√7)·(1, 1, 1, 2)
  a₂ = (1/√6)·(2, –1, –1, 0)
образуют ортонормированную систему, а затем дополним их до базиса ℝ⁴.

──────────────────────────────
Шаг 1. Проверка ортонормированности a₁ и a₂

1. Вычислим норму вектора a₁:
     Норма вектора (1, 1, 1, 2) равна
      √(1² + 1² + 1² + 2²) = √(1 + 1 + 1 + 4) = √7.
     Умножив на 1/√7, получаем ||a₁|| =
   1.
   
   
2. Вычислим норму вектора a₂:
     Норма вектора (2, –1, –1, 0)...