The problem was to come up with an identity for sin3(x).
Step 1: Break out what you already have an identity for. As mentioned in the problem, we already have an identity that
sin2(x) = 0.5(1 - cos(2x) )And you know that sin2(x) is a factor of sin3(x). So you have
sin3(x) = sin(x)sin2(x) = 0.5 sin(x) (1 - cos(2x) )
Step 2: Multiply it out. This gives you
sin3(x) = 0.5 sin(x) - 0.5 sin(x)cos(2x)which is already interesting, but you can take it further.
Step 3: Recall the identity for
sin(3x) = sin(2x + x) = sin(2x)cos(x) + sin(x)cos(2x)The rightmost summand looks familiar doesn't it? Indeed it appears in step 2. But what do we do with the left-hand summand??
Step 4: Observe that sin(x) is the same as
sin(x) = sin(2x - x) = sin(2x)cos(x) - sin(x)cos(2x)
Step 5: Put steps 3 and 4 together. By subtracting step 4 from step 3, you get a useful intermediate identity
sin(3x) - sin(x) = 2 sin(x)cos(2x)or
0.25 ( sin(3x) - sin(x) ) = 0.5 sin(x)cos(2x)
Step 6: Substitute step 5 into step 2. This gives you
sin3(x) = 0.5 sin(x) - 0.25 ( sin(3x) - sin(x) )or, gathering like terms
sin3(x) = 0.75 sin(x) - 0.25 sin(3x)which is the identity the problem was after.
Comments: We discussed earlier that sin(x) is an odd
function, that is
We also discussed that cos(x) is an even function, that
is
The point here is that if you can determine by inspection whether an answer you come up with is an even or an odd function, you can often use that fact to do a cursory check of your work. In the case of the identity for sin3(x), we would be expecting the result to be an odd function. If by inspecting you found your result not to be odd, then you would know you had made a mistake.
What do you think the result is of raising an even function to an even power or an odd power?
email me at hahn@netsrq.com