Любые

вектора в

являются линейно зависимыми по крайней мере над

. Выберем из векторов

минимальный набор линейно зависимых над этим полем и выразим один вектор из этого набора (обозначим этот вектор

) как линейную комбинацию остальных (обозначим набор остальных

). Умножая эту комбинацию скалярно на все вектора из

, получим, что все коэффициенты этой линейной зависимости являются решением некоторой системы линейных уравнений, коэффициентами которой являются исключительно скалярные произведения пар векторов

. При этом, в силу минимальности набора

, указанная система заведомо невырождена, т.к. определитель Грама системы векторов

не равен нулю. Таким образом, коэффициенты, выражающие

через вектора

, находятся как рациональные комбинации скалярных произведений, т.е. сами являются рациональными ввиду тождеств

Получается, что достаточна даже рациональность только квадратов.
Всех с Новым годом! 