>>801間違えました。
x＞0，y＞0とする。
2分のx＋y＝ルートxy はx＝yであるための必要十分条件であるとなってます。なぜですか？