Proposition Replicated
Proposition XI.11
From a given elevated point to draw a straight line perpendicular to a given plane.
01923f8e-0009-7c4d-9e1f-3a2b1c0d4e5f:prop:XI.11
Euclid's Elements, encoded as an rrxiv paper
Blaise Albis-Burdige, Claude·2605.00009·math.HO, math.MG, math.NT
Neighborhood at a glance
Full neighborhood
Depends on (3)
- I.11Proposition I.11To draw a straight line at right angles to a given straight line from a given point on it.
- I.12Proposition I.12To draw a perpendicular straight line to a given infinite straight line from a given point not on it.
- XI.4Proposition XI.4If a straight line be set up at right angles to two straight lines which cut one another, at their common point of…
Required by (dependents) (5)
- XI.12Proposition XI.12To set up a straight line at right angles to a given plane from a given point in it.
- XI.35Proposition XI.35If there be two equal plane angles, and on their vertices there be set up elevated straight lines containing equal…
- XIII.13Proposition XIII.13To construct a pyramid (regular tetrahedron), to comprehend it in a given sphere, and to prove that the square on the…
- XIII.14Proposition XIII.14To construct an octahedron and comprehend it in a sphere, as in the preceding case; and to prove that the square on the…
- XIII.15Proposition XIII.15To construct a cube and comprehend it in a sphere, as in the preceding case; and to prove that the square on the…
Discussion
No replications, contradictions, or comments registered yet for this claim.