# Proposition: Prop. 10.078: That which produces Medial Whole with Medial Area is Irrational

### (Proposition 78 from Book 10 of Euclid's “Elements”)

If a straight line, which is incommensurable in square with the whole, and with the whole makes the sum of the squares on them medial, and twice the (rectangle contained) by them medial, and, moreover, the (sum of the) squares on them incommensurable with twice the (rectangle contained) by them, is subtracted from a(nother) straight line then the remainder is an irrational (straight line). Let it be called that which makes with a medial (area) a medial whole.

### Modern Formulation

Thus, that which makes with a medial (area) a medial whole is a straight line, whose length is expressible as

$\beta^{1/4}\left(\sqrt{\frac 12+\frac{\alpha}{2\sqrt{1+\alpha^2}}} -\sqrt{\frac 12-\frac{\alpha}{2\sqrt{1+\alpha^2}}}\right)$ for some positive rational numbers $$\alpha, \beta$$. See also [Prop. 10.41].

Proofs: 1

Proofs: 1 2 3 4
Propositions: 5 6

Thank you to the contributors under CC BY-SA 4.0!

Github:

non-Github:
@Fitzpatrick

### References

#### Adapted from (subject to copyright, with kind permission)

1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"

#### Adapted from CC BY-SA 3.0 Sources:

1. Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016