mathneko.hatenablog.comとおく。であるから、。 これより、との和が7、差が1であるから、。このとき、。 二乗してルートを減らしていけば解けます。「が無理数であることを示せ。」という有名問題のときと同じ変形ですね。 与式をそのまま平方するのが動画…