Sporom predpokladajme, ze $\langle\vec\alpha,\vec0\rangle = k ($pricom $k\ne0) =>$ (na zaklade 1. a 2. vlastnosti skalarneho sucinu) $\langle\vec\alpha,c\vec0\rangle = c\langle\vec\alpha,\vec0\rangle$. Zaroven vieme, ze $c\vec0=\vec0$ pre lubovolne $c$. Pre $c\ne1$ teda rovnost $\langle\vec\alpha,c\vec0\rangle = \langle\vec\alpha,\vec0\rangle = c\langle\vec\alpha,\vec0\rangle$ platit nemoze, kedze by sme dostali, ze $k=c*k$, pricom $k\ne0$ a $c\ne1$, co je hladany spor. Q.E.D.Úloha 1.1. Dokážte priamo z definície, že pre ľubovoľný vektor $\vec\alpha$ platí$\langle\vec\alpha ,\vec0\rangle=0$. (Priamo z definície znamená, že môžete použiť iba tie štyri vlastnosti skalárneho súčinu, ktoré sme uviedli v definícii.)
edit: dufam, ze je to spravne riesenie a spravne poslane. Este by som sa chcel opytat, ci jeden clovek moze riesit aj viacero z tych uloh v sade.
Rafael Korbas