Tổng bình phương các nghiệm của phương trình log 1/2 (x^2 -5x +7) = 0