Eigentlich ist es genau anderesrum.
Das Skalarprodukt a⋅b ist DEFINIERT als
∣a∣⋅∣b∣⋅cos∠(a,b).
Diese Definition gibt es bereits, bevor man auf die Idee kommt, Vektoren durch übereinandergeschriebene Zahlen in einem Klammerpaar zu schreiben.
Die bekannte Formel der Winkelberechnung erhält man erst als Folgerung aus dieser Definition.