Любые
вектора в
являются линейно зависимыми по крайней мере над
. Выберем из векторов
минимальный набор линейно зависимых над этим полем и выразим один вектор из этого набора (обозначим этот вектор
) как линейную комбинацию остальных (обозначим набор остальных
). Умножая эту комбинацию скалярно на все вектора из
, получим, что все коэффициенты этой линейной зависимости являются решением некоторой системы линейных уравнений, коэффициентами которой являются исключительно скалярные произведения пар векторов
. При этом, в силу минимальности набора
, указанная система заведомо невырождена, т.к. определитель Грама системы векторов
не равен нулю. Таким образом, коэффициенты, выражающие
через вектора
, находятся как рациональные комбинации скалярных произведений, т.е. сами являются рациональными ввиду тождеств
Получается, что достаточна даже рациональность только квадратов.
Всех с Новым годом!