代数的数×代数的数は代数的数？

円周率$\pi$

X（旧Twitter）で、$\pi$について割り切れない数（整数の比で表せない数=無理数）であることを説明するとして、全然説明になっていない間違った文が「わかりやすい」として話題になっていて、それに関連して$\pi$が超越数であることを示せば無理数であると言えるので$\pi$が超越数であることの証明も話題になっていました。
それで、昨年放送された「笑わない数学」で$\pi$の超越数であることの証明を見たとき考えたことを思い出したので改めてここに書こうと思いました。（Xにもポストしていますが、流れてしまい探しにくいので。）

TV番組「笑わない数学」超越数回で見た$\pi$が超越数であることの証明

2022年-2023年にNHKで放送された番組「笑わない数学」はとても面白い番組でした。
最先端の現代数学のいくつかのテーマをお笑い芸人トリオ「パンサー」のメンバーの尾形さんと映像とナレーションが親しみやすく説明してくれる素晴らしい番組でした。
昨年のシーズン2のうち超越数回は傑作と呼べる回で大変面白い回でした。「 周期 」という最先端で研究されている概念があることも紹介されていて大変興味深かったです。
[Link]「＃５　超越数（シーズン２） - 笑わない数学 - NHK」 https://www.nhk.jp/p/ts/Y5R676NK92/blog/bl/pmg0p5PX8L/bp/p642yOd1NJ/
この回で尾形さんが「$\pi$が超越数であること」を証明していました。

以下のエルミート-リンデマンの定理とオイラーの式は証明なしに使ってよいとします。

尾形さんの証明の流れは以下の通り。

となって尾形さん、見事に$\pi$が超越数であることを証明していました。

代数的数×iは代数的数であること自分なりの証明

放送を見たとき画面右下のテロップ「※代数的数×代数的数は代数的数であることは証明できる」★に気づかず、「$\pi$が代数的数のとき$i\times \pi$も代数的数」がなぜ言えるのかすぐにわからないなと感じたので、自分なりに考えてみました。

は(結論から言えば)もちろん正しい命題ですが、これは簡単には示せなかったので、その特別な場合($\beta =i$)（そして、$\pi$の超越性の上記の証明で使用するには十分である）、

については、高校の数学で習う知識で示すことができました。

「$\alpha$が代数的数なら、$\alpha i$が代数的数」は示せたので、「$\pi$の超越性の上記の証明」では$\alpha =\pi$として使えます。
上記の$\pi$の超越性の証明には不要ですが、「$\alpha ,\beta$が代数的数なら、$\alpha \beta$も代数的数」はまだ示していません。この具体的な方法？では私はいまだに示せていません。。（示せた人は教えてください。）
当初、実は書きたかったのはここまでなのですが、記事タイトルを「代数的数×代数的数は代数的数？」としたのでそれを示すためまだ続けます。
一般の場合「代数的数×代数的数は代数的数」は、線形代数の事実を使うと、示すことができます。

代数的数×代数的数は代数的数？

厳密にやるのは長くなるので、概略を記載します。それでも長くなってしまいました。

有理数を拡大する

有理数全体の集合を$\mathbb{Q}$と書きます。
$\alpha \notin \mathbb{Q}$となる代数的数$\alpha$を考えます。$f_{\alpha }(\alpha )=0$となる有理数係数の多項式$f_{\alpha }$があります。
$f_{\alpha }$の次数を$n$とします。
$f_{\alpha }$はより低い次数の有理数係数の多項式には因数分解しないとします。
多項式の割り算を行って、
$f(x)=q(x)f_{\alpha }(x)+r(x)$
$r(x)\ne 0$の次数は$f_{\alpha }(x)$の次数$n$より小さいものが取れます。
係数が有理数の多項式のうち、この割り算を行って余りが$r(x)$となるものをすべて同一視します。
$r(x)=\sum _{j=0}^{n-1}{c}_j{\alpha }^j$の係数を抜き出すと、$n$個の有理数$(c_0,c_1,c_2,...c_{n-1})$となります。
これを$n$次元ベクトルの成分とみなすと、$r(x)$はベクトルと同一視できます。
定数項の成分以外の成分が0であるベクトル$(c_0,0,0,...0)$は有理数$c_0$と同一視できます。
また多項式の四則演算から、同一した集合でも四則演算が成り立ち、演算結果もまた$f_{\alpha }(x)$で割ることにより、結果もまた$n$次元ベクトルになります。
この演算で有理数と同一視した部分も通常の四則演算になります。
このベクトルの集合（$\alpha$と有理数の多項式（を$f_{\alpha }$で割ったあまりで分類した集合））は有理数を拡張したものと見なせます。基底$\{1,\alpha ,{\alpha }^2,...,{\alpha }^{n-1}\}$の空間です。これを、$\mathbb{Q}(\alpha )$と書きます。
$\beta$も代数的数なら、$f_{\beta }(\beta )=0$となる$\mathbb{Q}$係数の多項式$f_{\beta }$があります。$\mathbb{Q}(\alpha )$係数の多項式ともみなせて、
$\mathbb{Q}(\alpha )$上の多項式として因数分解して$\beta$を根に持つ既約因子を改めて$f_{\beta }$とおき（←指摘により追加修正 2024/7/27）
$f_{\beta }$の次数を$m$とすると、二変数$\alpha ,\beta$の有理数係数の多項式は、$m$個の$\mathbb{Q}(\alpha )$の要素を成分としたベクトルと考えられます。そのようなベクトル全体は基底$\{1,\beta ,{\beta }^2,...,{\beta }^{m-1}\}$のベクトル空間になります。
各成分は$\mathbb{Q}(\alpha )$要素なので、それぞれ$\mathbb{Q}$の要素$n$個に対応しています。結局、全体では有理数$nm$個を成分とするベクトルに対応しています。
基底は$\{1,\alpha ,\beta ,{\alpha }^2,\alpha \beta ,...,{\alpha }^{n-1}{\beta }^{m-1}\}$になります。これを、$\mathbb{Q}(\alpha ,\beta )=\mathbb{Q}(\alpha )(\beta )$と書きます。

線形代数の事実を使う

という事実を使うと、$\gamma \in \mathbb{Q}(\alpha ,\beta )$,$\gamma \ne 0$,$\gamma \notin \mathbb{Q}$ で、$\{1,\gamma ,{\gamma }^2,...,{\gamma }^{nm-1}\}$も$\mathbb{Q}(\alpha ,\beta )$の基底になります。
（「←基底になるとは限らない、以下に関係ない」との指摘により取り消し線追加　24/7/27）

は数学的帰納法で証明できます（後述の「おまけ」で証明）が、これを使用すると、nm+1個のベクトル$\{1,\gamma ,{\gamma }^2,...,{\gamma }^{nm}\}$は線形従属となり、
$$\sum _{j=0}^{nm}{c}_j{\gamma }^j=0$$となる有理数の組$(c_0,c_1,c_2,...,c_{mn})\ne (0,0,0,...,0)$が取れます。
$$h(x):=\sum _{j=0}^{nm}{c}_j{x}^j$$と置くと、
$h(\gamma )=0$なので、$\gamma$を根とする有理数係数代数方程式が見つかったことになり、γは代数的数です。
例えば、$\gamma :=\alpha \beta \in \mathbb{Q}(\alpha ,\beta )$とすれば、αβも代数的数となります。∎
途中で使用した「$n$次元ベクトル空間の$n+1$個のベクトルは線形従属」の証明をおまけとして、以下に記述しました。

おまけ