Теоре́ма Фава́ра об ортогона́льных систе́мах, если для действительных чисел $\alpha_n$ и $\beta_n$ выполняется рекуррентное соотношение$$P_n(x) = (x-\alpha_n)P_{n-1}(x)-\beta_n P_{n-2}(x), \quad P_{-1}(x) = 0,\quad P_0 = 1,$$то существует функция $\alpha(x)$ ограниченной вариации такая, что$$\int_{-\infty}^\infty P_n(x)P_m(x)\, d\alpha(x) = \left\{\begin{aligned} & 0,\quad n\ne m,\\ & h_n>0,\quad m=n.\end{aligned}\right.$$Установлена Ж. Фаваром (Favard. 1935). Иногда этот результат связывают также с именем И. Шохата.