Proposition Replicated
Proposition X.78
If from a straight line there be subtracted a straight line incommensurable in square with the whole which with the whole makes both the sum of squares and twice the rectangle medial and the two sums incommensurable with one another, the remainder is irrational; let it be called that which produces with a medial area a medial whole.
01923f8e-0009-7c4d-9e1f-3a2b1c0d4e5f:prop:X.78
Euclid's Elements, encoded as an rrxiv paper
Blaise Albis-Burdige, Claude·2605.00009·math.HO, math.MG, math.NT
Neighborhood at a glance
Full neighborhood
Depends on (2)
Required by (dependents) (3)
- X.84Proposition X.84Only one straight line can be annexed to the line producing with a medial area a medial whole.
- X.107Proposition X.107A straight line commensurable with the line producing with a medial area a medial whole is itself such a line.
- X.110Proposition X.110If from a medial area there be subtracted a medial area incommensurable with the whole, the remaining two irrational…
Discussion
No replications, contradictions, or comments registered yet for this claim.