Homepage › Solution manuals › David A. Cox › Galois Theory › Exercise 15.2.3
Exercise 15.2.3
Here are some useful properties of .
- (a)
- has period . Explain why this implies that the same is true for .
- (b)
- is an odd function by (15.9). Explain why this implies that is even.
- (c)
- Use (15.9) to prove that .
- (d)
- Use Proposition 15.2.1 to prove that .
Answers
Proof. (a) For all , . By differentiation, and the chain rule, we obtain
has period . (b) Since for all , the chain rule gives
thus is even. (c) By (15.9), for all . Then the chain rule gives , thus
(d) By differentiation of , we obtain
If , then , so that
If for some integer , since is infinitely differentiable, is continuous, therefore
Therefore
□