Mediatriz e o produto escalar