- 372 名前：互いに相異なる代数的無理数 b_1,…,b_n は何れも±1ではない。
従って、ゲルフォント・シュナイダーの定理の系から、A_1,…,A_n は
有理数体Q上線型従属である。故に、何れも或る既約な有理数 p_2,…,p_n に対して
A_1＝p_2・A_2＋…＋p_n・A_n となる。同様にその定理の系から、各 i=2,…,n に対して、
(A_i)/(A_1)＝(log(a_i))/(log(a_1)) は有理数か超越数である。 [] - [ここ壊れてます]
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
現代数学の系譜11 ガロア理論を読む29
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef