Proposition Replicated

Proposition X.106

A straight line commensurable with the line producing with a rational area a medial whole is itself such a line.

type · theoreticalevidence · argumentextracted by · author

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

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.69 X.77 X.105

PropositionProposition X.106

Outgoing (1)

Full neighborhood

Depends on (3)

X.69Proposition X.69A straight line commensurable with the side of a rational plus a medial area is itself such a side.
X.77Proposition X.77If from a straight line there be subtracted a straight line incommensurable in square with the whole which with the…
X.105Proposition X.105A straight line commensurable with a minor is itself a minor.

Required by (dependents) (1)

X.107Proposition X.107A straight line commensurable with the line producing with a medial area a medial whole is itself such a line.

Discussion

No replications, contradictions, or comments registered yet for this claim.