Любая нечетная функция будет ортогональна всем четным многочленам -- это очевидно. А теперь надо доказать, что только нечетная функция ортогональна всем четным многочленам.
Предположим, что есть такая ненулевая

, не являющаяся нечетной, которая ортогональна всем четным многочленам. Тогда четная функция

тоже ортогональна всем четным многочленам. Кстати, она ортогональна (как четная функция) и нечетным многочленам.
Выходит, есть и такая ненулевая

, которая ортогональна вообще всем многочленам. Может такое быть?