とおく。であるから、。
これより、との和が7、差が1であるから、。このとき、。
二乗してルートを減らしていけば解けます。「が無理数であることを示せ。」という有名問題のときと同じ変形ですね。
与式をそのまま平方するのが動画の解法*1で、ルートの一方を移項してから平方するのがあか☆ねこ (id:redcat_math)氏の解法に相当します。
*1:動画を通して見た訳ではないので違ってたらすみません。
とおく。であるから、。
これより、との和が7、差が1であるから、。このとき、。
*1:動画を通して見た訳ではないので違ってたらすみません。