Proposition Replicated

Proposition I.7

Given two straight lines constructed on a straight line and meeting in a point, there cannot be constructed on the same straight line and on the same side of it two other straight lines meeting in another point and equal to the former two respectively, namely each to that which has the same extremity with it.

type · theoreticalevidence · argumentextracted by · author

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

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)

I.5

PropositionProposition I.7

Outgoing (1)

I.8

Full neighborhood

Depends on (1)

I.5Proposition I.5In isosceles triangles the angles at the base are equal to one another; and if the equal straight lines be produced…

Required by (dependents) (1)

I.8Proposition I.8If two triangles have the two sides equal to two sides respectively, and have also the base equal to the base, they…

Discussion

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