* $x^2 - x = x - 1$ を整理すると、$x^2 - 2x + 1 = 0$ となり、$(x - 1)^2 = 0$ となる。したがって、$x = 1$ 。 * 元の命題は真である。

代数学命題真偽対偶否定整数証明
2025/7/10
## 問題の回答
###

6. 問題の内容

xx は実数とする。命題「x2x=x1    x=1x^2 - x = x - 1 \implies x = 1」の逆、対偶、裏を述べ、それらの真偽を調べよ。
### 解き方の手順

1. 元の命題: $x^2 - x = x - 1 \implies x = 1$

* x2x=x1x^2 - x = x - 1 を整理すると、x22x+1=0x^2 - 2x + 1 = 0 となり、(x1)2=0(x - 1)^2 = 0 となる。したがって、x=1x = 1
* 元の命題は真である。

2. 逆: $x = 1 \implies x^2 - x = x - 1$

* x=1x = 1 のとき、x2x=121=0x^2 - x = 1^2 - 1 = 0 であり、x1=11=0x - 1 = 1 - 1 = 0 である。したがって、x2x=x1x^2 - x = x - 1 は成り立つ。
* 逆は真である。

3. 対偶: $x \neq 1 \implies x^2 - x \neq x - 1$

* 対偶は元の命題が真であるとき真であり、偽であるとき偽である。
* 元の命題は真であるため、対偶は真である。

4. 裏: $x^2 - x \neq x - 1 \implies x \neq 1$

* 裏は逆が真であるとき真であり、偽であるとき偽である。
* 逆は真であるため、裏は真である。
### 最終的な答え
* 元の命題: x2x=x1    x=1x^2 - x = x - 1 \implies x = 1 (真)
* 逆: x=1    x2x=x1x = 1 \implies x^2 - x = x - 1 (真)
* 対偶: x1    x2xx1x \neq 1 \implies x^2 - x \neq x - 1 (真)
* 裏: x2xx1    x1x^2 - x \neq x - 1 \implies x \neq 1 (真)
###

7. 問題の内容

次の命題Pの否定を述べ、その真偽を調べよ。
(1) P:「すべての整数 xx について、x2>0x^2 > 0 である。」
(2) P:「ある素数 xx について、xx は偶数である。」
### 解き方の手順
(1)
* 命題P: 「すべての整数 xx について、x2>0x^2 > 0 である。」
* 否定: 「ある整数 xx について、x20x^2 \leq 0 である。」
* x=0x = 0 のとき、x2=02=0x^2 = 0^2 = 0 であるため、x20x^2 \leq 0 を満たす xx が存在する。
* したがって、否定は真である。元の命題は偽である。
(2)
* 命題P: 「ある素数 xx について、xx は偶数である。」
* 否定: 「すべての素数 xx について、xx は奇数である。」
* 素数は 2,3,5,7,11,...2, 3, 5, 7, 11, ... である。
* x=2x = 2 は素数であり、偶数である。したがって、命題Pは真である。
* したがって、否定は偽である。
### 最終的な答え
(1)
* 否定: ある整数 xx について、x20x^2 \leq 0 である。 (真)
(2)
* 否定: すべての素数 xx について、xx は奇数である。 (偽)
###

8. 問題の内容

nを整数とするとき、n2n^2 が3の倍数ならば、nn は3の倍数であることを証明せよ。
### 解き方の手順
対偶を証明する。
対偶: nn が3の倍数でないならば、n2n^2 は3の倍数でない。
nn が3の倍数でないとき、nn3k+13k + 1 または 3k+23k + 2 (kは整数) で表される。

1. $n = 3k + 1$ のとき、

n2=(3k+1)2=9k2+6k+1=3(3k2+2k)+1n^2 = (3k + 1)^2 = 9k^2 + 6k + 1 = 3(3k^2 + 2k) + 1
これは3の倍数ではない。

2. $n = 3k + 2$ のとき、

n2=(3k+2)2=9k2+12k+4=9k2+12k+3+1=3(3k2+4k+1)+1n^2 = (3k + 2)^2 = 9k^2 + 12k + 4 = 9k^2 + 12k + 3 + 1 = 3(3k^2 + 4k + 1) + 1
これも3の倍数ではない。
したがって、nn が3の倍数でないならば、n2n^2 は3の倍数でない。
対偶が真であるから、元の命題も真である。
### 最終的な答え
n2n^2 が3の倍数ならば、nn は3の倍数である。 (証明終わり)