Definition:Apotome/First Apotome

Definition
Let $a, b \in \set {x \in \R_{>0} : x^2 \in \Q}$ be two rationally expressible numbers such that $a - b$ is an apotome.

Then $a - b$ is a first apotome :
 * $(1): \quad a \in \Q$
 * $(2): \quad \dfrac {\sqrt {a^2 - b^2}} a \in \Q$

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



Also see

 * Definition:Second Apotome
 * Definition:Third Apotome
 * Definition:Fourth Apotome
 * Definition:Fifth Apotome
 * Definition:Sixth Apotome