- 411 名前：１３２人目の素数さん mailto:sage [2017/04/11(火) 10:41:32.34 ID:Yji/Wubi.net]
- (>>357の続き)
ところで、0ではない代数的数全体 {Q~}＼{0} は通常の乗法の二項演算について群をなす。
また、仮定から b_1,…,b_n は代数的無理数だから、b_1,…,b_n は何れも±1ではない。
各 i=1,2,…,n に対して a_i≠1 だから、ゲルフォント・シュナイダーの定理
(以降、「ゲルフォント・シュナイダーの定理」を「G-Fの定理」と略記する) の系から、
A_1,…,A_n は有理数体Q上線型従属である。故に、何れも或る既約な有理数 p_2,…,p_n が存在して
A_1＝p_2・A_2＋…＋p_n・A_n (4)
となる。仮定から、a_1 ,…, a_n は相異なる2個以上の素数だから、同様�
