Proposition Replicated

Proposition I.14

If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another.

type · theoreticalevidence · argumentextracted by · author

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

Euclid's Elements, encoded as an rrxiv paper

Blaise Albis-Burdige \and Claude \\ \small {(translation after Heath, 1908; encoding new, CC-BY-4.0)}·2605.00009·math.HO, math.MG, math.NT

Neighborhood at a glance

Incoming (1)

I.13

PropositionProposition I.14

Outgoing (2)

I.47 VI.32

Full neighborhood

Depends on (1)

I.13Proposition I.13If a straight line set up on a straight line make angles, it will make either two right angles or angles equal to two…

Required by (dependents) (2)

I.47Proposition I.47In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides…
VI.32Proposition VI.32If two triangles having two sides proportional to two sides be placed together at one angle so that their corresponding…

Discussion

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