

Lause I.11: Normaalin konstruointi suoran pisteeseen



- On konstruoitava suoralle normaali suoran pisteen P kautta.
- Valitaan suoralta piste D, joka on eri kuin piste P.
- Konstruoidaan suoralle piste E siten, että DP=PE. [I.3]
- Konstruoidaan tasasivuinen kolmio DEF. [I.1]
- Piirretään jana FP. [P1]
- Kolmiot DPF ja EPF ovat yhtenevät [I.8]: DP=PE, sivu PF on yhteinen ja DF=EF tasasivuisen kolmion sivuina. Siis kulma DPF = kulma EPF. Koska kulmat ovat yhtä suuret ja yhteensä 2R, ovat molemmat kulmat suoria ja jana PF on suoran normaali.

