Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Define complex conjugate as the pair of complex numbers $a+bi,a-bi$. Assume you have 5 such pairs and they are the 10 roots $x_i$ of a 10th-deg equation with integer coefficients. In general, how many combinations,

$$F= x_1 x_2+x_3 x_4+x_5 x_6+x_7 x_8+x_9 x_{10}$$

will be real, and how do we tell Mathematica to enumerate them all?

share|improve this question
Is this a puzzle? – Dr. belisarius Nov 13 '13 at 5:06
No, I'm wondering if the behavior of the PSL(2,5) sextic and PSL(2,7) octic generalizes to higher degrees. That is, I'll use Recognize to determine if there is an F such that it is an algebraic number of degree one less than the $x_i$, just like what happens for the cited equations with those Galois groups. – Tito Piezas III Nov 13 '13 at 5:22
NB: Recognize is now RootApproximant (since version 6 or 7) – Dr. belisarius Nov 13 '13 at 5:26
I'm using a very old version. V4. <sheepish> – Tito Piezas III Nov 13 '13 at 5:27
For the generic case I think you need to have either 1, 3, or 5 of the products involve a pair of conjugates, with pairs of the rest using swapped conjugates e.g. zw*+zw, where I use ' for complex conjugate, not multiplication (and multiplication is just juxtaposition). If I am correct, and if I also wrote down the combinatorics correctly, then the number of combinations should be 5*(6*4)*(3*2) + 5*4*(3*2) + 5*4*3 = 900. – Daniel Lichtblau Nov 13 '13 at 15:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.