| Ben
Challenor |
I'm doing some complex number proofs for P5 and I have two problems left in the proof. For it to be complete I have to show that: (1) ![]() and: (2) ![]() Mathematica tells me that (1) is: ![]() and (2): ![]() But I don't know how to reach these intermediate steps. Any ideas? Thanks. |
||
| Vicky
Neale |
I haven't really thought about these yet, but what was the original question? Is it possible that there's a method that doesn't involve proving these? Vicky |
||
| Vicky
Neale |
Ok, it does actually fall out. Are you happy about using de Moivre's theorem to get an expression for as a polynomial in ? I've put it in white here, so that you can check: Now letting , we get a polynomial in (which is what we want) equal to 0 (because is cunningly zero). Hopefully you can see how to solve this (it reduces to a quadratic very easily), and you can get from this, and the other angles. If you want this explaining any more, let us know! Vicky |
||
| Ben
Challenor |
OK, thanks, I've just worked it through to the end and that makes perfect sense. Although I'm not sure of the mathematical validity of how I 'solved' the quadratic. You have: And setting you get: Therefore: Now, must you say that either or Or can you simply divide both sides by as we 'know' already that ? I guess I'm confused between constants and variables. |
||
| Vicky
Neale |
sin(2 pi/5) is a constant, so why not call it s? Then you have a polynomial that looks a lot less scary. I think it's reasonable to 'know' that s is not 0. Now, as you have said, you have something eminently soluble. You're going to solve a quadratic in s2 , so you know that you need the positive root there (s2 > 0). You will have to decide whether you want the positive or negative square root to actually get s; I'd think (at least for P5) that it's reasonable to look at the graph for sin and deduce that s had better be positive. Does that help? Vicky |
||
| Ben
Challenor |
Those are the decisions that I made, I just wondered if they could be justified. Thanks for your help. |