直接証明
ちょくせつしょうめい 1対1で対応direct proof
名詞
定義
仮定から出発し、定義や既に知っている定理を順に使って結論を導く証明。背理法や対偶を使った証明と対比して使う。
A proof that starts from the hypothesis and reaches the conclusion through a chain of definitions and known results, without assuming that the conclusion is false.
例文
話し言葉 Let's try a direct proof first: start with what we're given and work toward what we want. まず直接証明を試そう。与えられたことから出発して、示したいことに向かって進める。
書き言葉・答案 Give a direct proof that the sum of two odd integers is even. 2 つの奇数の和が偶数であることを直接証明で示せ。
言い間違えやすいところ
- 用例コーパスでは MIT OCW と MIT の講義ノートにしか出てこない。
- direct proof は、背理法（proof by contradiction）や対偶を使った証明（proof by contrapositive）と区別するための名前。