Proposition Replicated

Proposition VI.17

If three straight lines be proportional, the rectangle contained by the extremes is equal to the square on the mean; and if the rectangle contained by the extremes be equal to the square on the mean, the three straight lines will be proportional.

type · theoreticalevidence · argumentextracted by · author

01923f8e-0009-7c4d-9e1f-3a2b1c0d4e5f:prop:VI.17

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)

VI.16

PropositionProposition VI.17

Outgoing (2)

VI.30 XI.36

Full neighborhood

Depends on (1)

VI.16Proposition VI.16If four straight lines be proportional, the rectangle contained by the extremes is equal to the rectangle contained by…

Required by (dependents) (2)

VI.30Proposition VI.30To cut a given finite straight line in extreme and mean ratio.
XI.36Proposition XI.36If three straight lines be proportional, the parallelepipedal solid formed out of the three is equal to the…

Discussion

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