実数 $x, y$ に対して、命題「$x+y > 0 \Rightarrow (x > 0) \lor (y > 0)$」を証明する。

代数学命題論理対偶不等式
2025/6/22

1. 問題の内容

実数 x,yx, y に対して、命題「x+y>0(x>0)(y>0)x+y > 0 \Rightarrow (x > 0) \lor (y > 0)」を証明する。

2. 解き方の手順

この命題を直接証明するのは難しいので、対偶を証明する。
元の命題の対偶は「¬((x>0)(y>0))¬(x+y>0)\neg((x > 0) \lor (y > 0)) \Rightarrow \neg(x+y > 0)」である。
これは、「(x0)(y0)x+y0(x \le 0) \land (y \le 0) \Rightarrow x+y \le 0」と同値である。
仮定として、x0x \le 0 かつ y0y \le 0 であるとする。
このとき、x+y0+0x + y \le 0 + 0 が成り立つ。
したがって、x+y0x + y \le 0 となる。
以上より、対偶である「(x0)(y0)x+y0(x \le 0) \land (y \le 0) \Rightarrow x+y \le 0」が真であることが示された。
対偶が真であることから、元の命題「x+y>0(x>0)(y>0)x+y > 0 \Rightarrow (x > 0) \lor (y > 0)」も真である。

3. 最終的な答え

証明完了。

「代数学」の関連問題

2次方程式 $3x^2 - 5x + 1 = 0$ の実数解の個数を求める問題です。

二次方程式判別式実数解
2025/6/22

$x$ の2次方程式 $x^2 - 4x - 2k = 0$ が異なる2つの実数解をもつような定数 $k$ の値の範囲を求める問題です。

二次方程式判別式不等式実数解
2025/6/22

4次式 $4x^4 - 11x^2 - 3$ を複素数の範囲で因数分解する。

因数分解4次式複素数二次方程式
2025/6/22

$x$ の2次方程式 $mx^2 - 4mx - 2m + 4 = 0$ が重解を持つような定数 $m$ の値を求め、そのときの解を求めよ。ただし、$m \ne 0$ とする。

二次方程式判別式重解
2025/6/22

2次方程式 $5x^2 + 3x + 2 = 0$ の実数解の個数を求める問題です。

二次方程式判別式実数解
2025/6/22

与えられた条件を満たす2次関数(放物線)を求める問題です。 (1) 放物線 $y = x^2 - 2x - 3$ を原点に関して対称移動し、x軸方向に平行移動したものが点 $(-1, 0)$ を通る。...

二次関数放物線平行移動対称移動方程式
2025/6/22

$log_{10}7 = 0.8451$ が与えられたとき、$7^{20}$ は何桁の数か求める。

対数桁数指数
2025/6/22

与えられた2次方程式 $9x^2 + 6x + 1 = 0$ の実数解の個数を求める。

二次方程式判別式実数解代数
2025/6/22

はい、承知いたしました。問題の内容を理解し、解き方の手順を説明し、最終的な答えを提示します。

平方根根号計算計算
2025/6/22

与えられた4x4行列の行列式を計算する問題です。行列は以下の通りです。 $ \begin{vmatrix} 0 & -3 & -6 & 15 \\ -2 & 5 & 14 & 4 \\ 1 & -3 ...

行列式線形代数余因子展開行列
2025/6/22