Для вычисления длины вектора необходимо воспользоваться формулой евклидова расстояния.
Шаги решения:
1. Запишем координаты вектора а: а = (9, 12).
2. Вычислим квадрат суммы квадратов координат: | а |^2 = 9^2 + 12^2.
3. Вычислим квадратные корни соответствующих координат: | а | = √(9^2 + 12^2).
4. Выполним вычисления: | а | = √(81 + 144) = √225.
5. Найдем корень из 225: | а | = 15.
Ответ: | а | = 15.