If log(x + y) = log 3 + ½log x + ½log y, prove that x² + y² = 7xy​