In which we define the standard trigonometric and hyperbolic functions and check their properties.
- Lemma 41 The power series and have infinite radius of convergence. The proof is an exercise (e.g. using the ratio test).
- Definition of functions and .
- Theorem 42
- The functions and are everywhere differentiable, with and for all .
- We have and for all .
- We have and for all , .
- For all , , we have , and , and .
- Theorem 43 Consider and .
- If , then .
- We have for all .
- There is a unique such that .
- We have for this .
We used the fact that the error in truncating an alternating series is at most the first term omitted.
- Definition of .
- Corollary 44 For , we have and .
- Definition of the sine, cosine, hyperbolic sine and hyperbolic cosine functions.
Understanding today’s lecture
Can you prove Lemma 41?
Can you complete the remaining parts of the proof of Theorem 42(iv)?
Can you give an alternative proof of Theorem 42(iv) using the constant value theorem (Lemma 35), in a similar style to Lemma 36?
We proved the addition formulae for sine and cosine for complex numbers (not just for reals). What do you get if you expand using the addition formula? You might want to use properties of sine, cosine, and their hyperbolic counterparts. You could try expanding it using the exponential form of too, to compare the approaches.
What other facts can you derive about the functions and in the style of Corollary 44, using addition formulae and facts about ?
Can you write a list of properties of hyperbolic functions (perhaps in the style of Theorem 42) and then prove it from the definitions?
We have just reached the end of a section of the course, so this would be an ideal time to look back over your notes to review what we’ve done so far (and perhaps to update your functions grid), before we move on to something new on Friday.
Perhaps some of you are worried that we haven’t mentioned that these various functions that we’re defining are well defined. That’s because we don’t need to, but if you’re a bit puzzled by what ‘well defined’ means then you might like to read this piece by Tim Gowers.
There’s an interesting description of the history of the trigonometric functions on MacTutor. They also have an article about the history of the concept of a function, which is a concept that we’ve been using rather a lot in this course.
Preparation for Lecture 19
How would you rigorously define integration? What properties do you expect the integral to have? Do you expect to be able to integrate every function? Can you give examples of integrable and non-integrable functions?