>>335
(x^2+y^2)/2 = ((x+y)/2)^2 が成り立つときだろ？
両辺に4掛けて 2x^2+2y^2=x^2+2xy+y^2 だから整理すりゃ (x-y)^2=0 だろ。
つまり x=y が等号成立条件。