Hogy jött ki a 11. -es megoldása? (matek)

Én nem tudok olyan csili-vili rajzos levezetést, ezért paintben próbáltam leírni:

[link]

Ha eddig oké, akkor ha az a+b vektor hosszát elnevezed c-vel, akkor a koszinusz-tételt alkalmazva simán kiszámolható:

c^2 = a^2 + b^2 - 2*a*b*cos120

Jobb oldalon minden ismert, ha végigszámolod, kijön a 3*gyök3