Produto escalar em função das normas e do ângulo dos vetores