Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

How can you prove that something is an algebraic integer? I have two examples:

1) $\frac{\sqrt{p} + \sqrt{q}}{2}$ , where $p$ and $q$ are integers congruent to $3 \pmod 4$

2) $\sqrt{\frac{\sqrt{15} + \sqrt{3}}{\sqrt{6}}}$

Any help would be much appreciated.

share|cite|improve this question
up vote 2 down vote accepted

Just to be clear, an algebraic integer is a root of a monic polynomial with integer coefficients.

First show that the given numbers are algebraic, by finding polynomials of which they are roots (this will involve squaring things, moving all terms without square roots to one side of the equation, and squaring again). Then you divide by the coefficient of the leading term, and check whether all the coefficients are still integers.

I can be more explicit if necessary, after you have attempted the above.

share|cite|improve this answer
Great, that helps a lot. Thank you! – J.B May 10 '13 at 10:44

As a last resort, by exhibiting an appropriate polynomial:

With $\alpha=\frac{\sqrt p+\sqrt q}{2}$, we have $\alpha^2=\frac{p+q}4+\frac{\sqrt{pq}}{2}$. Note that therefore $(4\alpha-(p+q))^2-4pq $ is some integer polynomial having $\alpha$ as root. However, it is not monic. Can you see that (after expanding) dividing out the leading coefficient is possible - because of the special assumptions about $p$ and $q$?

In the second problem I'd suggest to cancel $\sqrt 3$ in the fraction before proceeding.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.