Произведение длин векторов на косинус угла между ними это скалярное произведение двух векторов

Верно, произведение длин векторов на косинус угла между ними является скалярным произведением двух векторов.