Cho V là một không gian vectơ Euclide các hàm số liên tục trên đoạn $[-\pi ,\pi ]$ với tích vô hướng như sau:
$<f,g>=\int_{-\pi }^{\pi }f(x)g(x)dx$.
Chứng minh rằng , tập con $S=({x \mapsto 1,x \mapsto \sin kx,x \mapsto \cos kx / k=1,2,3...})$ là trực giao