- 476 名前：１３２人目の素数さん mailto:sage [2018/08/19(日) 14:54:22.77 ID:CdybE8v+.net]
- 相異なる p_1, …, p_n∈Q と正の超越数xを任意に取る。
すると、任意の q_1, …, q_n, q_{n+1}∈Q に対して、(p_1)^{q_1}・…・(p_n)^{q_n}・x^{q_{n+1}≠1、
故に q_1・log_{x}|p_1|＋＋q_n・log_{x}|p_n|＋q_{n+1}≠1、
故に、log_{x}|p_1|, …, log_{x}|p_n|, 1 は有理数体Q上一次独立。
