I can see !
Excerpt: Students are asked to identify a suitable or ‘inner function’ for each of the given functions and then find Different ways of rewriting the expressions involved may lead to alternative options for
Problem
If and what is as a function ?
Working backwards, if , how could you express as a function of where is a function of ?
If you also wanted to work out , how would this affect your choice of ?
Take a look at the functions in the table below.
Write as a function of where is a function of so that you can use these to find
You may be able to do this in more than one way.
Solution
If then substituting for in gives
Looking at , I might describe it as “one over something squared”, so one option is to let the “something” be In a function machine for , the squaring could happen before or after taking the reciprocal, giving further options.
Here are some possibilities for writing as a function of where is a function of
-
and
-
and
-
and
However, there is no reason why can’t be the identity function of or can’t be the identity function of , so there are two other possibilities.
-
and
-
and
If you also wanted to work out , how would this affect your choices of ?
As is a function of a function, I can use the chain rule to differentiate it if I can find and Can I do this for all the possibilities I found for ?
For the first case I can find and directly. In the second and third cases, I can find but need to think a bit more about how I could differentiate The chain rule could help, or I could look at Slippery slopes …. another derivative to help me. differentiate
The final two cases don’t help me either because I’d need the chain rule to find or
I can tackle these functions in any order, but scanning the table suggests a few ways to group the functions. As in the previous example, I could use the identity function and say either or , but this won’t necessarily help me to find , so I’ll need to look for other options in most cases. I’ll find possibilities for first then try to differentiate. There is a table with suggestions for and expressions for at the end of this section.
Possibilities for
Powers of a linear polynomial
The functions in the top row are all powers of a linear polynomial. This makes me wonder if I could also express and as powers of a linear polynomial.
For I can choose and But I could also choose and If I now look at with this in mind, I notice that it can also be written as How does this affect my choices for ?
Exponential and logarithmic functions
Several functions in the table involve either exponential or logarithmic functions and I can see more than one for several of these functions. For example, could be thought of as composed with , but also as composed with In a similar way, rewriting the logarithms may help me to see different possibilities for However, if I am rewriting expressions, I need to think about which values of the original expression is defined for, and whether my new expression is also defined for all these values of For example, where are and defined?
The logarithms in can be combined and separated in different ways, including , and , which gives me lots of options for
Trigonometric functions
Looking now at the trigonometric functions at the bottom left of the table, I can see that is a function of But how can be treated as a composition of functions? I recall that , which gives me an idea for
The other functions look a bit more complicated, and I may need to rewrite them using identities. For example, so maybe I can express in terms of
I can think of as a function of , or of , but I also recognise it from the double angle formulae, where This looks like a very different function!
The identity function
The only remaining function in the table is , which looks like the simplest function in the table. I could have included in the powers of linear polynomials group, but there may be some other ways of thinking about it.
As a first step, I can think about the function that has no effect on its inputs: the identity function. So I can let and then I need
Looking around the table gives me an idea. I need the composition of two functions to have no effect, but each of the functions can change its inputs into something else. For example, I could let and have Similarly, provided , I could let and I need to be careful about the domains, but what other functions could I choose?
Looking back, I realise that almost all of the functions in the table can be thought of as a composition of a linear polynomial and another function. It may be interesting to think about how this affects their derivatives.
I also notice that I could think of a few of these functions as a composition of three functions. For example, for I could have had , and Which others could I break down using three functions instead of two? How do I differentiate a composition of three functions?
Finding the derivatives
Also work out in each case. How does your choice of affect how you find ?
I can use the chain rule to differentiate these functions. But as I found earlier, some of the possibilities for may not be as helpful as others. Do I know how to find and for all the possibilities I found for ?
Derivatives of the powers of linear polynomials
For the powers of linear polynomials, I’ll just consider a few examples.
For , could be and then Applying the chain rule gives , so the from is acting as a scale factor in the derivative. If I had instead, what could I choose as and if I didn’t want to introduce a scale factor in the derivative like this?
Earlier I found that I could write as a composition of functions, but I already know how to differentiate it directly, so I could just take and . How does differentiating using these different functions compare with differentiating it directly?
Again, I can differentiate directly, so I could have taken and If instead I differentiate using and then I get
but what happens if I use and instead?
Derivatives of the exponential and logarithmic functions
I saw two different possibilities for for and and one might make the differentiation simpler than the other.
I also noticed that and are both functions of linear polynomials, so when I differentiate them using the chain rule will I see the same effect of scale factors in the derivatives as I found for powers of linear polynomials?
Differentiating using and gives me which seems surprising. I might have expected a scale factor of in the derivative, but looking at my other option for helps to confirm that my derivative is correct. Another thing to think about is that is the inverse of an exponential function and I have already differentiated some exponential functions. What is the inverse of and how could I use its derivative to find the derivative of ?
Looking now at , I can use and to give but what if I had rewritten as instead?
Turning now to , I have lots of options for based on different ways of rewriting and some may help me to differentiate the function more simply than others. However, having differentiated and , I can already conjecture what the derivative of is.
Derivatives of the trigonometric functions
Again, I’ll just consider a couple of examples.
Using and to differentiate gives and writing this in terms of and could help show how this could be simplified.
I had lots of options for for , but the first was , which I could differentiate using the chain rule or ideas from Sine stretching. Alternatively I could use and since then I can can find directly. Both of these lead me to
But I also noticed that I can write as How does using and lead to the same derivative as the other routes?
Derivative of the identity function
I already know the derivative, but what happens if I write and and use the chain rule?
How do the different possibilities for writing as a composition of functions lead to this same result?
What other expressions could be seen as a composition of functions? Can you suggest some that you can also differentiate? Are there different options for as there were with many of the functions in this table?
| and | and | and or and |
| and | and or and | and or and |
| and or and | and or and | and or and if |
| and | and or and | and or and or and |
| and | and | and or and or and |