Proposition Replicated

Proposition X.105

A straight line commensurable with a minor is itself a minor.

type · theoreticalevidence · argumentextracted by · author

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

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.68 X.76 X.104

PropositionProposition X.105

Outgoing (1)

Full neighborhood

Depends on (3)

X.68Proposition X.68A straight line commensurable with a major straight line is itself major.
X.76Proposition X.76If from a straight line there be subtracted a straight line incommensurable in square with the whole, which with the…
X.104Proposition X.104A straight line commensurable in length with an apotome of a medial is itself such an apotome of the same order.

Required by (dependents) (1)

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

Discussion

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