Proposition Replicated

Proposition X.30

To find two rational straight lines commensurable in square only such that the square on the greater is greater than the square on the less by the square on a straight line incommensurable in length with the greater.

type · theoreticalevidence · argumentextracted by · author

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

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 (1)

X.18

PropositionProposition X.30

Outgoing (4)

X.33 X.51 X.52 X.53

Full neighborhood

Depends on (1)

X.18Proposition X.18If there be two unequal straight lines, and to the greater there be applied a parallelogram equal to the fourth part of…

Required by (dependents) (4)

X.33Proposition X.33To find two straight lines incommensurable in square which make the sum of the squares on them rational but the…
X.51Proposition X.51To find the fourth binomial straight line.
X.52Proposition X.52To find the fifth binomial straight line.
X.53Proposition X.53To find the sixth binomial straight line.

Discussion

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