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