 (5)
деб қабул қиламиз. Агар х ва у векторлар орасидаги бурчак  га тенг бўлса, яъни
(х,у)=0
бўлса, х ва у векторлар ортогонал векторлар дейилади.
Киритилган тушунчалар ёрдами билан элементар геометриянинг қатор теоремаларини евклид фазосига кўчириш мумкин.
Бир мисол кўриб чиқайлик. Агар х ва у векторлар ортогонал векторлар бўлса, у ҳолда х+у векторни томонлари х ва у бўлган тўғрибурчак деб ҳисоблаш табиийдир. Энди
эканини, яъни тўғри тўртбурчак диогонали узунлигининг квадрати, унинг параллел бўлмаган икки томони узунликлари квадратлари йиғиндисига тенг (Пифагор теоремаси) эканини исбот қилайлик.
Исбот. Векторлар узунлиги квадратларининг таърифига мувофиқ:
Скаляр кўпайтманинг дистрибутивлигига асосан (30 аксиома):
 .
х ва у векторларнинг ортогоналлигидан:
 .
Демак,
 ,
шуни исбот қилиш керак эди.
Бу теоремани умумлаштириш мумкин. Агар x,y,z,…векторлар жуфт-жуфти билан ортогонал бўлса, у ҳолда
бўлади.
Do'stlaringiz bilan baham: |
