Multiply by and see what happens.
By the way, this is not a geometric progression.
Hey guys, I am new to this forum and I hope to maybe become a regular user.
The following problem is actually from my high school investigation coursework, but it seems too hard to belong to the pre-college forum. By investigating the product of line segments between points of roots of unity, I managed to form the flowing conjecture:
n = integer greater than or equal to 2
I tried to prove it by induction, but I don't know how with this type of trigonometric function. By any method, can someone help me prove it?
EDIT: sorry, I mislabeled the thread. This is not actually a geometric progression even though is kind of like one
ALSO, even though this is part of schoolwork, my teacher stated that outside research and discussion is allowed, even among classmates doing the same investigation. As long as we understand why and how the proof works, we are not considered cheating if we learn do the question ourselves, so feel free to provide as much help as you want without feeling like your helping me cheat.
My original equation was:
You changed it to:
I was saying I don't think you can just simply divide both sides by 2. I think you will need to divide by 2^(n-1) because the 2 was inside the capital pi function.
My original equation worked when I inputted numbers for n, but when I tried your equation, it did not work.
I also don't get how multiplying by will help. Sorry if I misunderstood anything or appear ignorant, I am just a high school student so I don't know as much stuff.
I wrote . If you think about this for a little bit, you realise that the product can be written
where and is the index, to avoid confusion. But we can write . So we are really looking at
where is one of the -th roots of unity. It looks like we can call on some symmetry or look at the minimal polynomial to complete the problem, but I don't have time to think about it right now. Maybe you can investigate this on your own.
Thanks for your comment. It seems very useful, but I don't have the experience to fully understand the maths in it. Can you tell me what what theoreoms/lemma/formulars you used so I can look them up?
eg. how did you get and why can it be written as ?
Also what branch of maths uses the functions in (i.e the name of the methods) ?
When you talk about symmetry, do you mean symmetry in the sine curve? and what does minimal polynomial mean?
I'll let roninpro answer all your questions.
That said, my immediate response is similar to his. Namely, note that since your product, call it , is positive an real you have that where is the modulus function. But, a little manipulation (ask if it isn't clear) shows that but the second term in the product is easily (by considering it as a factorized form of ) seen to be equal to . Thus, .
Yes, can you explain it? I understand why 2^(n-1) can be taken out of the capital pi fuction, but I don't get why the sine function can be converted into the 1-e form.
How is significant to prove the conjecture?
Oh yeah, in the conjecture, the product is stated to be equal to n. Does that mean that , implying that 2^(1-n) = 1?
comes from the fact that:
and (this is known as euler's formula)
so each term in your product is of the form:
and if we set we get the product
complex numbers of the form have a special name, m-th roots of unity, because they form the m solutions to .
it turns out that and are conjugates, so their difference is (this is really just another way of saying the y-coordinate of a point on a circle is sin of the angle between the ray going through that point, and the x-axis).
From your information, I can deduce that the original becomes:
= n
= n
= n
assuming that the m you mean in is the mth power in :
= n
(because n also represents the power of x in the roots of unity)
I still don't know how this changed version can help me prove it though. What is the standard method used to prove this type of thing and can you show me how to carry out this method?. Also, what does capital I represent?
It looks as though the first stage of your project should be to find out something about complex numbers. A complex number has two parts, a real part x and an imaginary part y. The notation is used to denote the fact that y is the imaginary part of z. That is the meaning of the abbreviation Im in previous comments in this thread.
You need to study enough of the basic theory of complex numbers to cover the fact that , and to know what is meant by complex roots of unity. You should by then be able to follow the neat argument of Drexel28 that from which, by putting z=1, you get
I have already studied the basic theory of complex numbers; my whole investigation is based around plotting complex numbers on an argand diagram and drawing lines between the points of roots of unity. I was confused mainly because of the notation and the fact that people here tend to post the next step of the equation without referencing to the formula or theorem they use, so it seems like things came out of nowhere. I don't blame them though, the basic stuff of complex numbers they probably already know inside out and have used so many times it seems pointless to them to state what they are doing.
Now that things have cleared up and I actually get the maths going on, Opalg, I think your reminder about Drexel's idea is key now. If you equate the two equations you provided, then you just basically get 1+1+1+1+1+1+1.... until you get n.
Just one thing though, why can you put z=1?
is it because since z^n=1, then z=1? why are you allowed to put z=1 and not z = the other roots?
I didn't intend to be patronising. It's just that it wasn't clear from your previous comments how much you already knew.
The equation is an identity, true for all values of z and hence in particular when z=1. It comes from factorising in two different ways. Firstly, as the product of all the linear factors, which are given by the roots of the equation , namely z=1 together with all the complex n'th roots of unity. Secondly, as . When you cancel the factor z–1 on both sides, you are left with the required identity.