Ich meine doch, dass man es beweisen kann. Erstmal geht das sicher mit der Definition
<a,b> : =∣a∣⋅∣b∣⋅cos(∠(a,b)), kriege ich aber gerade nicht hin.
Mit Koordinatenvektoren geht es allerdings auch. Mache ich jetzt mal für zweidimensionale Vektoren:
<a,b+c>=(a1,a2)∗((b1,b2)+(c1,c2))=(a1,a2)∗(b1+c1,b2+c2)=a1⋅(b1+c1)+a2⋅(b2+c2)=a1⋅b1+a1⋅c1+a2⋅b2+a2⋅c2=a1⋅b1+a2⋅b2+a1⋅c1+a2⋅c2=(a1,a2)∗(b1,b2)+(a1,a2)∗(c1,c2)=<a,b>+<a,c>
Wobei * das Skalarprodukt und das normale Mal-Zeichen die Multiplikation im Körper ist. Kann man natürlich einfach auf beliebig-dimensionale Vektoren verallgemeinern.