Elementa I.11: Normaalin konstruointi suoran pisteeseen
- Tekijä:
- Hannu Tiitu
Eukleideen Elementan lause I.11: Normaalin konstruointi suoran pisteeseen. Klikkaa nuolista lauseen todistus vaihe vaiheelta.
- 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.