>>237
この場合、x=yとして計算することが正しいのか疑問ですが、そう考えないと解く方法がなさそうですね。
後半の証明もとても分かりやすかったです。
はさんで行えばいいわけですね。(何か名前があった気が)

ありがとうございました。