已知x的平方加y的平方等于12,x加y等于4,求x乘y的值