ポスト
F 大小関係を見たいというモチベで進めるとa,bが十分大きいときa≈k^3, b≈k^2なのでx_n≈k^(3×2^(n-1)), y_n≈k^(2×2^(n-1))程度 a_{n+1}=a_n^2-2の漸化式と似た状況なのでx_n=f(p^(2^(n-1)),q_n), y_n=g(p^(2^(n-1)),q_n)となるf,gを探したくなる(pが十分大きいときq_nはpより小さくfはpについて3次
メニューを開くみんなのコメント
メニューを開く
gは2次程度) x_n=p^3+p+2+1/p+1/p^3, y_n=p^2+p+1/p+1/p^2が漸化式をみたしていることに気がついたのでa=p^3+p+2+1/p+1/p^3, b=p^2+p+1/p+1/p^2の形に書けることを確かめて残りは計算 7777で割る過程で計算ミスをして1ペナ E mixtilinear excircleの性質で計算 計算ミスですごく簡単な式になってしまう
