円に接しまくるn次関数

はじめに

約1年5か月ぶりの投稿になります。Mathlogも随分見栄えが変わりましたね。
久々に投稿したくなったので、昔、いろいろ計算して結局分かんなくなっちゃった問題について書きます。

問題

要するに、こんな(↓)感じになる多項式を考えてみましょうという話です。
$n=9$の場合

大まかな考え方

$f_n(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0(a_n>0)$とします。
また、$n-1$個の共有点の$x$座標を小さい順に$p_1,p_2,\cdots ,p_{n-1}$とします。

$p_1,p_2,\cdots ,p_{n-1}$は$2n$次方程式$x^2+(f_n(x){)}^2-1=0$を満たします。
さらに、$x=p_1,p_{n-1}$で$3$重解、$x=p_2,p_3,\cdots ,p_{n-2}$では$2$重解なので、
$x^2+(f_n(x){)}^2-1=a(x-p_1{)}^3(x-p_2{)}^2(x-p_3{)}^2\cdots (x-p_{n-3}{)}^2(x-p_{n-2}{)}^2(x-p_{n-1}{)}^3$($a$は定数)
という$x$の恒等式が成り立っているはずです。
ここで、$x^{2n}$の係数を比較すると$a={a_n}^2$なので、
$x^2+(a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0{)}^2-1={a_n}^2(x-p_1{)}^3(x-p_2{)}^2(x-p_3{)}^2\cdots (x-p_{n-3}{)}^2(x-p_{n-2}{)}^2(x-p_{n-1}{)}^3\cdots (1)$
となります。
残りの定数も係数比較で求めることになります。

小さい$n$に対し$f_n(x)$を計算

計算機に任せたけど・・・

$(1)$式からそのまま計算するのは、人力はもちろん、コンピューターにとってもとてもきついようで、愚直に計算させるだけだと$n=6$で処理がタイムアウトしてしまう事態になりました。(Wolfram Clowdで入力しました)
そこで、$n=6$以降は、見た感じ成り立っていそうな仮定や経験則をつけて計算させました。

予想(1)について

計算しないといけない定数が$a_{n-1},a_{n-2},\cdots ,a_1,a_0,p_1,p_2,\cdots ,p_{n-2},p_{n-1}$の$2n$個あり、
$x^{2n}$以外の項は定数項から$x^{2n-1}$まで$2n$個あり、$2n$個の連立方程式になるので、
おそらく、これらの定数の中に任意定数となるものはないと思います。
さらに、$a_n>0$と制限をしているので、$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$を$-1$倍したものは解にならず、
これらの定数は全てただ一つに求まると考えています。

予想(2)について

コンピューターに計算を任せる前からなんとなく予想していました。
直観にも反しないと思いますが、どうにも証明が思いつかない・・・。

予想(3),(4),(5)について

$n=10$くらいまで調べて、これが成り立ちそうに見えました。

$n=3$から$16$までの結果

グラフにするとこうなります。なかなか綺麗・・・？な感じになりました。
$n=3$から$16$の場合を重ねたグラフ

$n=17$以降はどうやっても計算がタイムアウトしちゃうので諦めました。
自分の計算のさせかたが悪いんだろうと思うのですが、Wolfram言語を数時間かじった程度では、これが限界でした。

おわりに

この多項式$f_n(x)$、一般にはどうなるのかわからないので、知ってる人は教えてください。
以上、ご覧頂きありがとうございました。