無理数性
日本語活用形辞書はプログラムで機械的に活用形や説明を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
無理数性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/20 06:35 UTC 版)
ρが無理数であることは背理法を用いて容易に証明できる。 ρ の2進展開での k 桁目をr_kとする。ρが合成数とすると任意の自然数 i に対して、r_n = r_{n+ik}が N < n、に対して成立する正の整数 N と k が存在する。素数は無限に存在するため、N < p なる素数が存在し、定義によりr_p = 1である。前述の通り、任意の i に対して r_p = r_{p+ik}である。i=pを考えると、添字は素因数分解されるため、1< k+1 に対して r_{p+ik} = r_{p+pk} = r_{p(k+1)} = 0 である。したがって、r_p ≠ r_{p(k+1)}となり、矛盾するため、ρは無理数である。
※この「無理数性」の解説は、「素数定数」の解説の一部です。
「無理数性」を含む「素数定数」の記事については、「素数定数」の概要を参照ください。
ウィキペディア小見出し辞書の「無理数性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 無理数性のページへのリンク
