Proof
Negation of X.40.
Knowledge graph · drag to pan, scroll to zoom, click a node to navigate
Full neighborhood
Depends on (3)
- X.40Proposition X.40If two straight lines incommensurable in square which make the sum of the squares on them medial, but the rectangle…
- X.76Proposition X.76If from a straight line there be subtracted a straight line incommensurable in square with the whole, which with the…
- XIII.5Definition XIII.5A straight line which produces with a rational area a medial whole is the irrational straight line such that the square…
Required by (dependents) (5)
- X.78Proposition X.78If from a straight line there be subtracted a straight line incommensurable in square with the whole which with the…
- X.83Proposition X.83Only one straight line can be annexed to the line producing with a rational area a medial whole.
- X.106Proposition X.106A straight line commensurable with the line producing with a rational area a medial whole is itself such a line.
- 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:…
- X.109Proposition X.109If from a medial area a rational area be subtracted, two other irrational straight lines arise, namely a first apotome…
Discussion
No replications, contradictions, or comments registered yet for this claim.
Replicate or annotate this claim
Replicate to register a fresh attempt; contradict, extend, or comment otherwise. Authors can post a claim-retraction with the reason taxonomy from RRP-0020.
Sign in with ORCID to annotate this claim.