Любая нечетная функция будет ортогональна всем четным многочленам -- это очевидно. А теперь надо доказать, что только нечетная функция ортогональна всем четным многочленам.
Предположим, что есть такая ненулевая
, не являющаяся нечетной, которая ортогональна всем четным многочленам. Тогда четная функция
тоже ортогональна всем четным многочленам. Кстати, она ортогональна (как четная функция) и нечетным многочленам.
Выходит, есть и такая ненулевая
, которая ортогональна вообще всем многочленам. Может такое быть?