Definition:Minor (Euclidean)

From ProofWiki
Jump to navigation Jump to search


Let $a, b \in \R_{>0}$ in the forms:

$a = \dfrac \rho {\sqrt 2} \sqrt {1 + \dfrac k {\sqrt {1 + k^2} } }$
$b = \dfrac \rho {\sqrt 2} \sqrt {1 - \dfrac k {\sqrt {1 + k^2} } }$


$\rho$ is a rational number
$k$ is a rational number whose square root is irrational.

Then $a - b$ is a minor.

In the words of Euclid:

If from a straight line there be subtracted a straight line which is incommensurable in square with the whole and which with the whole makes the squares on them added together rational, but the rectangle contained by them medial, the remainder is irrational; and let it be called a minor.

(The Elements: Book $\text{X}$: Proposition $76$)

Terms of Minor

The terms of $a - b$ are the elements $a$ and $b$.


The real number $a$ is called the whole of the minor.


The real number $b$ is called the annex of the minor.

Also see