Dimostra che il vettore $\vec c= a*\vec b + b *\vec a$ divide in due parti congruenti l'angolo formato dai vettori $\vec a$ e $\vec b$.
Il vettore somma di due vettori è la diagonale del parallelogramma che parte dal punto che condividono le code dei due vettori; questa diagonale divide in due parti congruenti l'angolo formato dai due vettori solo se il parallelogramma in questione è un rombo...
Ponendo $a$ e $b$ maggiori di zero, i vettori $\vec a$ e $\vec b$ hanno stessa direzione e stesso verso di $b*\vec a$ e $a*\vec b$, quindi è indifferente che si consideri l'angolo formato da questi vettori o l'angolo formato da $\vec a$ e $\vec b$.
Probabilmente non avrò capito bene il problema, perché dal mio punto di vista mi sembra palese che la tesi sia falsa.
Per completezza, posto anche un'immagine che descrive la situazione: