Definition:Apotome of Medial/Order

From ProofWiki
Jump to navigation Jump to search

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 of a medial.


The order of $a - b$ is the name of its classification into one of the two categories: first or second.