めちゃくちゃ難しかった ・yが偶数の場合 mod4でみるとよりが必要なのでxも偶数 とおくと両辺が正の整数になることに注意して またなので したがって以下の不等式が得られる 前者はと変形できがで単調増加であることとでより 後者はと変形できが単調増加であ…

はてなブログでTeX記法が使えるみたいなので練習に www.imojp.org として より さらにとして として よって さらにから これを繰り返し適用するとなのでに代入し したがって なのでありえるのは常にとなる場合だけ が与式を満たすのは代入すれば明らかなので…