# Proposition: Prop. 10.062: Square on Second Bimedial Straight Line applied to Rational Straight Line

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

The square on a second bimedial (straight line) applied to a rational (straight line) produces as breadth a third binomial (straight line).1 * Let $AB$ be a second bimedial (straight line) having been divided into its (component) medial (straight lines) at $C$, such that $AC$ is the greater segment. * And let $DE$ be some rational (straight line). * And let the parallelogram $DF$, equal to the (square) on $AB$, have been applied to $DE$, producing $DG$ as breadth. * I say that $DG$ is a third binomial (straight line).

### Modern Formulation

(not yet contributed)

Proofs: 1

Proofs: 1

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

#### Footnotes

1. In other words, the square of a second bimedial is a third binomial. See [Prop. 10.56] (translator's note).