円周率 $\pi$ が無理数であることを用いて、$\sqrt{\pi}$ が無理数であることを証明します。

数論無理数背理法π平方根
2025/6/23

1. 問題の内容

円周率 π\pi が無理数であることを用いて、π\sqrt{\pi} が無理数であることを証明します。

2. 解き方の手順

背理法を用いて証明します。
(1) π\sqrt{\pi} が有理数であると仮定します。
(2) π\sqrt{\pi} が有理数であるとき、ある整数 ppqq (q0q \neq 0) を用いて、π=pq\sqrt{\pi} = \frac{p}{q} と表すことができます。
(3) 上記の式を2乗すると、
(π)2=(pq)2(\sqrt{\pi})^2 = \left(\frac{p}{q}\right)^2
π=p2q2\pi = \frac{p^2}{q^2}
となります。
(4) ここで、p2p^2q2q^2 も整数であり、q20q^2 \neq 0 であるため、p2q2\frac{p^2}{q^2} は有理数です。
(5) したがって、π\pi は有理数であることになります。
(6) これは、π\pi が無理数であるという仮定に矛盾します。
(7) よって、π\sqrt{\pi} が有理数であるという仮定は誤りであり、π\sqrt{\pi} は無理数である必要があります。

3. 最終的な答え

π\sqrt{\pi} は無理数である。

「数論」の関連問題

2つの整数367と153を自然数 $n$ で割ったとき、余りがそれぞれ7と9になるような自然数 $n$ は全部で何個あるか。

約数剰余最大公約数公約数
2025/7/31

与えられた6つの文のうち、間違っているものをすべて選択します。

RSA暗号素因数分解誤り訂正符号合同算術
2025/7/31

この問題は、自然数 $n$ に対して、$n$ の約数の和を $s(n)$、$n$ 以下の自然数で $n$ と互いに素なものの個数を $g(n)$、そして $f(n) = s(n) - n$ と定義した...

約数約数の和互いに素メルセンヌ素数完全数
2025/7/31

この問題は、まず素数を列挙するアルゴリズムの考案者を答える問題と、与えられた4つの命題の中から真であるものを全て選択する問題の2つがあります。

素数エラトステネスの篩Bertrandの仮説命題
2025/7/31

26以下の正の整数 $n$ のうち、3進法で表したときの下2桁の数字が、$n^2$ を3進法で表したときの下2桁の数字と一致するものが何個あるか求める問題です。ただし、10進法の1, 2を3進法で表し...

合同式整数の性質進法
2025/7/31

円Oの外の点Aから円Oへの接線APを引き、直線AOと円Oの交点をAに近い順にQ, Rとする。円Oの半径が3, AP=4のとき、PRの長さを求める問題。

整数3進法合同式
2025/7/31

与えられた選択肢の中から、正しいものを全て選ぶ問題です。 選択肢は以下の4つです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と無理...

有理数無理数数の性質四則演算
2025/7/30

$n^2 + n$ が200の倍数となるような自然数 $n$ のうち、最も小さい数を求めよ。

整数の性質因数分解倍数約数
2025/7/30

自然数 $n$ に対して、$2^{6n-5} + 3^{2n}$ が11で割り切れることを示す問題です。

数学的帰納法整数の性質割り算倍数
2025/7/30

自然数 $n$ が与えられたとき、$n$ と 28 の最小公倍数が 168 であるような $n$ をすべて求める問題です。

最小公倍数素因数分解整数の性質
2025/7/30