用归谬法证明定理“如果[tex=2.429x1.143]iYaM6mXHRcXGx9kzFAhMgQ==[/tex]是奇数，则[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数”。

2022-05-28

用归谬法证明定理“如果[tex=2.429x1.143]iYaM6mXHRcXGx9kzFAhMgQ==[/tex]是奇数，则[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数”。

答案：

解：可以用归谬法证明[tex=2.0x1.0]HFqbj5uZFZVrH/+vs9S2/A==[/tex]是真的，通过假设[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=1.143x1.0]0b+D+ZOuZwU88Mkzo5pRqw==[/tex]都为真来证明[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]也一定为真。这蕴含着[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=1.143x1.0]0b+D+ZOuZwU88Mkzo5pRqw==[/tex]都为真，导致矛盾。这一点告诉我们，可以将一个直接证明转变为一个归谬证明。

举一反三

内容

0
证明如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是整数，则下面4个语句是等价的：(i)[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是偶数(ii)[tex=2.357x1.143]dkoxwOpyXKTw0HsOj3nnBg==[/tex]是奇数(iii)[tex=2.429x1.143]D9mgja5zKaBZA0/mYyflJg==[/tex]是奇数(iv)[tex=1.143x1.0]/cIrSdwPz5QiPtqsug63qQ==[/tex]是偶数
1
证明如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是整数而且[tex=2.286x1.357]Y/jX++qwhtd2x9sTxG5NmA==[/tex]是奇数，则[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是偶数。使用反证法证明
2
证明如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数，则存在唯一的整数[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex]使得[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是[tex=1.857x1.143]e5w+BNfKI9xFH5nCChNqEw==[/tex]和[tex=2.286x1.143]6W89R+WvL61VovDfCOzxwQ==[/tex]之和。
3
下面这个“证明”错在哪里?“定理”如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是正数，则[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是正数。“证明”假定[tex=1.0x1.214]S08+KKG98HbrAJCN7f6pjg==[/tex]是正数。因为条件命题“如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是正数，则[tex=1.0x1.214]S08+KKG98HbrAJCN7f6pjg==[/tex]是正数”为真，所以可以得出[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是正数。
4
设[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是一个[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]级正交矩阵，证明：如果[tex=2.643x1.357]xnNlsIp2wAAq+OkAnU/oIQ==[/tex]，且[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数，那么1是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的一个特征值。