Given a polynomial f with only real coefficients, the zeros of f are conjugates of zeros of f.
(Sorry my English left me, when trying to formulate this theorem.)
So I would like to know how to refer to this theorem in a scientific text.
Given a polynomial f with only real coefficients, the zeros of f are conjugates of zeros of f.
(Sorry my English left me, when trying to formulate this theorem.)
So I would like to know how to refer to this theorem in a scientific text.
Complex Conjugate Root Theorem:
In mathematics, the complex conjugate root theorem states that if $P$ is a polynomial in one variable with real coefficients, and $a + bi$ is a root of $P$ with $a$ and $b$ real numbers, then its complex conjugate $a − bi$ is also a root of $P$.
See here.
You can call it the complex conjugate root theorem.
Depending on the text you might want to just say "recall that ..." or "note that ..." due to triviality.