Definition:Binomial (Euclidean)/Third Binomial

Definition
Let $a$ and $b$ be two (strictly) positive real numbers such that $a + b$ is a binomial.

Then $a + b$ is a third binomial :
 * $(1): \quad a \notin \Q$
 * $(2): \quad b \notin \Q$
 * $(3): \quad \dfrac {\sqrt {a^2 - b^2}} a \in \Q$

where $\Q$ denotes the set of rational numbers.



Also see

 * Definition:First Binomial
 * Definition:Second Binomial
 * Definition:Fourth Binomial
 * Definition:Fifth Binomial
 * Definition:Sixth Binomial