If is continuous on , differentiable on , and , then some has . A maximum or minimum is attained; unless is constant, one extremum lies inside, where the derivative vanishes.
The mean value theorem gives .
Since , decreases from , so strictly decreases from and . If never vanished, its decreasing positive limit would make stay positive, but bounded away from zero after any fixed point forces negative eventually. Thus rises to one maximum and then decreases strictly to , crossing zero exactly once; it is positive before that crossing.
and . Here is negative while near zero; applying the preceding shape argument until the first zero of and then the addition identities establishes a first positive zero with positivity before it.
From the addition formula and , , so is a period. Repeatedly subtract from a positive period ; the remainder in is also a period, and positivity plus the addition identities force it to be . Thus ; the converse follows from periodicity and oddness.

Articles by others on the same topic (0)

There are currently no matching articles.