Loading AI tools
ウィキペディアから
代数学における実数 a の超冪根（ちょうべきこん、英: ultraradical）あるいはブリング根（ブリングこん、Bring radical）は、ブリング標準形と呼ばれる五次多項式 [注釈 1] の唯一の実数根を言う。エルランド・サミュエル・ブリングが導入した。
複素数 a のブリング根は、上と同じ多項式の任意の根（多価函数として扱う）とするか、何らかの意味で特定した一つの根とするか（この場合、a が実数のときは実数値であり、かつ実数直線の近傍で解析的となる複素函数が定められるようにとるのがふつう）の何れかとする。後者では、四つの分岐点が生じるから、ブリング根をガウス平面全体で連続な一つの函数として定義することはできないし、連続となるような定義域としては四つの分岐切断を除外しなければならない。
ジョージ・ジェラードは、いくつかの五次方程式が冪根および超冪根を用いて閉じた形で解ける（つまり「解の公式」がある）ことを示した（実は任意の五次方程式がこのような形で解ける）。
a の超冪根はしばしば [2] や [3]と書かれる。本項では a のブリング根を と書くことにする。これは実変数のとき、奇函数で、単調減少かつ非有界であり、十分大きな a に対する漸近挙動は で与えられる。
五次方程式の解を直接得ることは難しい。最も一般の形では と五つの独立した係数を考慮しなければならない。五次方程式の解法として開発された様々な方法において、独立な係数の数を減らすためにチルンハウス変換を用いて、より簡単な形の五次方程式に帰着するという方法が一般的に行われる。
五次方程式の一般形から、主標準形 (principal quintic form) と呼ばれる三次と四次の項のない形 に簡約することができる。
一般形の方程式と主標準形の方程式の根が、二次のチルンハウス変換 で関係付けられると仮定すると、二つの係数 α, β は終結式から、あるいは根の冪和とニュートンの公式を用いて、求めることができる。これは α, β の（一次と二次の）連立方程式を与えることとなり、二組の解の何れかを用いてそれらに対応する三つの係数を持つ主標準形方程式が得られる[4]。
この標準形はフェリックス・クラインによる五次方程式の解法に用いられた[5]。
五次方程式は主標準形よりもさらに単純化することが可能で、二次の項も消去したブリング–ジェラード標準形 (Bring–Jerrard normal form): が導かれる。 チルンハウスが試みたように、三次のチルンハウス変換とやはり冪和の公式を用いたのではこれは上手く行かないのだが、1796年にブリングは、主標準形の根をブリング–ジェラード標準形の根に結びつける四次のチルンハウス変換 を用いることで、問題をうまく回避する方法を発見した。
この四次のチルンハウス変換からくる新たなパラメータによって、ブリングは他のパラメータの次数を下げることに成功し、六つの未知数を含む二次と三次の五つの方程式からなる連立方程式が導かれた。同じ方法を1852年にジェラードも発見している[6]が、ジェラードはこの分野においてブリングによる既存の結果があることはおそらく知らなかったようである[7]。五次方程式の一般形からこの標準形への完全な変換は Mathematica[8]やMaple[9]のような計算機代数システムを用いれば容易に得られるだろうけれども、これら複雑な変換を経る必要からも分かる通り、得られる式は（特に四次以下の場合の冪根を用いた解と比べて）膨大であり、係数を変数記号とする五次の一般方程式に対するそれは、計算機にとっても多くのストレージを消費するものとなる[8]。
解を係数の代数函数と見なすと、 の解は二つの変数 d1, d0 の函数ということになるが、実はこのブリング–ジェラード標準形はさらに単純な形 に還元できる（この形は後で用いる）ので、冪根と非常によく似た性質を持つ一変数の代数函数が実際には導かれる。
五次方程式の一径数標準形には、ほかにもブリオッシ標準形 (Brioschi normal form) と呼ばれる形 があり、これは有理チルンハウス変換 によって一般形の根とブリオッシ標準形の根が関係付けられるものになっている。二つのパラメータ λ, μ の値はリーマン球面上で定義された多面体函数を用いて導出でき、またそれら値は正二十面体対称性を持つ対象の正四面体対称性を持つ五つの対象への分割に関係がある[10]。
注目すべき点として、このチルンハウス変換は主標準形をブリング–ジェラード標準形にするために用いた複雑な変換と比べればより単純なものとなっていることが挙げられる。
ブリング根のテイラー展開あるいは超幾何函数を用いた表示は以下のようである。
よって のテイラー級数は f(x) のテイラー級数を逆に解くことで得られる。f のテイラー級数は単純に x + x5 であるから、実際に計算すれば となることがわかる（この級数の係数列は、各項の絶対値をとったものが オンライン整数列大辞典の数列 A2294 にある）。級数の
形を見れば（奇数次の項しか出てこないから)
となり f−1 が奇函数であることが確認できる。またこの級数の収束半径は である。
超幾何函数を用いれば、ブリング根は と書ける[8]。
ちなみに、ラグランジュの反転定理を経由せずともニュートンの二項定理を使えば簡単に上記の級数表示(ブリング根 │a│＜1)を取り出すことが出来る。simpler derivation of bring radical で検索
まず、ブリング–ジェラード標準形の任意の多項式 の根はブリング根を用いて と書ける[注釈 2]ものとその四つの代数共軛元である。
上で見たように、ブリング–ジェラード標準形への帰着は求根可能な多項式方程式によって記述されていたし、そのためのチルンハウス変換では四次以下の方程式の根を係数とする多項式しか現れていなかったから、したがって、これらの変換を逆にたどることは冪根で解ける多項式の求根という形で実現できるということがわかる。もちろんこのように変換を逆にたどろうとする方法では無関係で余分な解も出てくることになるが、数値的な方法で正しい解を一つ見つけられるならば、その根を平方根・立方根およびブリング根によって書き下すこともできるということだから、したがってそれは一変数の代数函数を用いて書けるという意味で「代数的解」であり、これで五次の一般方程式に対する代数的解法（「解の公式」）が与えられたとみることができる。
ブリング根の特徴付けはさまざま知られているが、その最初のものは1858年にシャルル・エルミートの手になる楕円モジュラー函数を用いたもので、その後さまざまな数学者が更なる手法を開発している。
1858年に、シャルル・エルミートは楕円超越函数を用いた最初の一般五次方程式の解法を発表した[11]（同時期にフランチェスコ・ブリオッシ[12]とレオポルト・クロネッカー[13] もまた同値な解法を得ている）。エルミートは、既によく知られていた三次方程式に対する三角函数を用いた解法を一般化する形でこの解法に到達し、ブリング–ジェラード標準形 に対する解を求めた（既にみたように一般の五次方程式は、チルンハウス変換でこの標準形に帰着できる）。エルミートは三次方程式における三角函数の役割を、ブリング–ジェラード標準形の方程式において果たすのが楕円函数であることを観察したのである。
このような取り扱いは、冪根を一般化する過程とみることもできる。冪根が あるいはもっと明確に と表せることに注意すると、エルミート–クロネッカー–ブリオッシの方法は、本質的にはこの式に現れる指数函数 exp を楕円モジュラー函数で、同じく積分 を楕円積分で、それぞれ置き換えるものである。クロネッカーはこの一般化すら任意の高次方程式に適用できる一般定理の特別の場合に過ぎないものと考えていた。そのような一般定理はトマエの公式と呼ばれ、完全な記述は1984年に梅村浩によって与えられた[14]。それは、上記の式の exp（あるいは楕円モジュラー函数）のところをジーゲル・モジュラー形式 で、積分のところを超楕円積分で、それぞれ置き換えるものになっている。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\textstyle {\sqrt[{*}]{a}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/30aa568dede8634aee1f64204a364100eb165cbe)
![{\textstyle 4/(5\cdot {\sqrt[{4}]{5}})(\approx 0.53499\dotsc )}](http://wikimedia.org/api/rest_v1/media/math/render/svg/455439107ffa16d7bb15655ec1a220b6b9d7cb44)
![{\displaystyle {\sqrt[{4}]{-{\frac {p}{5}}}}\,\operatorname {BR} \!{\Big (}{-{\frac {1}{4}}}{\Bigl (}{-{\frac {5}{p}}}{\Bigr )}^{\frac {5}{4}}q{\Bigr )}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/43fbc6c18ad80c2c7bfac8f34c55168460bd9edd)
![{\textstyle {\sqrt[{n}]{x}}=\exp \left({{\frac {1}{n}}\ln x}\right)}](http://wikimedia.org/api/rest_v1/media/math/render/svg/a7c2794717061a813acabb4fd1d417817da32813)
![{\displaystyle {\sqrt[{n}]{x}}=\exp \left({\frac {1}{n}}\int _{1}^{x}{\frac {dt}{t}}\right)}](http://wikimedia.org/api/rest_v1/media/math/render/svg/c2cbf9d8cc02e22cd7fff07139889308036e0d52)
