Tích vô hướng và hệ thức lượng