Proposition Replicated

Proposition X.109

If from a medial area a rational area be subtracted, two other irrational straight lines arise, namely a first apotome of a medial or the line producing with a rational area a medial whole.

type · theoreticalevidence · argumentextracted by · author

01923f8e-0009-7c4d-9e1f-3a2b1c0d4e5f:prop:X.109

Euclid's Elements, encoded as an rrxiv paper

Blaise Albis-Burdige, Claude·2605.00009·math.HO, math.MG, math.NT

Neighborhood at a glance

Incoming (3)

X.74 X.77 X.108

PropositionProposition X.109

Outgoing (1)

X.110

Full neighborhood

Depends on (3)

X.74Proposition X.74If from a medial straight line there be subtracted a medial straight line commensurable with the whole in square only,…
X.77Proposition X.77If from a straight line there be subtracted a straight line incommensurable in square with the whole which with the…
X.108Proposition X.108If from a rational area a medial area be subtracted, the side of the remaining area arises as one of four irrationals:…

Required by (dependents) (1)

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.