On the product of heights of algebraic numbers summing to real numbers