[Math] Sum of two odd functions is always odd.

examples-counterexamplesfunctions

The sum of two odd functions

(a) is always an even function

(b) is always an odd function

(c) is sometimes odd and sometimes even

(d) may be neither odd nor even

The answer provided is b.

Here (another Q) the answers seems intuitive and I am able to prove that the sum of two odd functions is always odd.
using this – $-f(-x)-g(-x)=-(f+g)(-x)$

I have a function that gives $0$ always yet is the sum of two odd functions:

$f(x) = \sin(x) + \sin(\pi + x)$

Does this not serve as a counterexample for the property? Why?

Best Answer

A function $f$ defined over the reals is odd if, for all $x$, $f(x)=-f(-x)$.

Does this hold for the constant zero function? Yes, it does.

The constant zero function is also even, so what? Nothing in the definition of even or odd function suggests that a function cannot be both.

One might exclude the constant zero function from the even and odd functions, but so doing we wouldn't have the theorem saying that every function over the reals is the sum of an even and an odd function (which are uniquely determined). The statement would become unnecessarily complicated.

The situation is similar to the complex numbers: a complex number $z$ is real if (and only if) $z=\bar{z}$ (complex conjugate); it is purely imaginary if (and only if) $z=-\bar{z}$.

It happens that $0$ satisfies both definitions, just like the constant zero function happens to be both even and odd. And, like $0$ is the only real and purely imaginary complex number, the constant zero function is the only function that is even and odd.

There are other similar cases: an $n\times n$ matrix can be both symmetric and antisymmetric (it would be the zero matrix); a relation can be both an equivalence relation and an order relation (it would be the identity relation).