x,yは実数とするって条件は>>955が勝手に抜いたんですかねぇ