证明
数学中关于证明的定义:
从基本的 公理出发,进行一系列的 逻辑演绎,最后得到 命题的过程就是对命题的数学证明。
A mathematical proof of a proposition is a chain of logical deductions leading to the proposition from a base set of axioms.
– Mathematics for Computer Science, E. L., F. T., 2012
命题(Proposition)
定义:命题是一个非真即假的陈述。
A proposition is a statement that is either true or false.
– Mathematics for Computer Science, E. L., F. T., 2012
下面来看几个很著名的命题。
欧拉猜想(Euler’s Conjecture)
当a, b, c, d都为正整数时,等式 $ a4+b4+c4=d4 $ 没有解。
这是1769年,欧拉(Euler)提出来的猜想,但是218年后被证明是错误的,因为当 a = 95800 , b = 217519 , c = 414560 , d = 422481 a=95800, b=217519, c=414560, d=422481 a=95800,b=217519,c=414560,d=422481时,上述等式是可以成立的。
欧拉猜想的命题可以用数学符号来表示1:
∀ a , b , c , d ∈ Z + . a 4 + b 4 + c 4 ≠ d 4 \forall a, b, c, d \in \mathbb{Z^+}. a^4+b^4+c^4 \neq d^4 ∀a,b,c,d∈Z+.a4+b4+c4=d4
四色定理(Four Color Theorem)
每张地图只用4种颜色来填充就可以保证相邻2的区域颜色不相同
这个定理在20世纪90年代被证明是正确的。
费马最后定理(Fermat’s Last Theorem)
对于整数 n > 2 n>2 n>2,不存在正整数 x , y , z x, y, z x,y,z,使得$ x^{n} + y^{n} = z^n$ 成立。
这个定理也在20世纪90年代被证明是正确的。
哥德巴赫猜想(Goldbach’s Conjecture)
每个大于2的整数都是两个质数的和。
哥德巴赫猜想最早可以追溯到1742。目前小于等于 1 0 1 6 10^16 1016的整数都被证明满足这个命题。但至今也没有人能完全证明其正确性。
谓词(Predicates)
谓词是一种命题,其正确性取决于一个或多个变量的值。
大部分命题都是用谓词的形式定义的。比如: n 是一个完全平方数 n是一个完全平方数 n是一个完全平方数
这个命题的正确性就取决于变量 n n n的值。谓词可以用类似于函数的表达式来表示3:
P ( n ) : : = “ n 是一个完全平方数” P(n)::=“n是一个完全平方数” P(n)::=“n是一个完全平方数”
所以, P ( 4 ) P(4) P(4)是正确的, P ( 5 ) P(5) P(5)是错误的。
这种表达式和函数很像,但两者是不同的。如果 P P P是一个谓词,那么根据变量 n n n的值, P ( n ) P(n) P(n)非真即假。如果 p p p是一个函数,比如 p ( n ) = n 2 + 1 p(n)=n^2+1 p(n)=n2+1,那么 p ( n ) p(n) p(n)没有真假,它代表一个数值。
公理化方法(The Axiomatic Method)
标准的数学推理方法是由欧几里得(Euclid)发明的。从一些基于直接经验的不可否认的假设出发,从而证明其他命题。而这些不可否认的假设被称作公理(axiom)。而证明(proof)就是从公理或者之前已经被证明的命题出发的一系列逻辑推论。
对于已被证明的命题有几个相关的术语:
- 定理(theorems):正确性以被证明的重要命题
- 辅助定理,或引理(lemma):对于要证明的命题来说是一个有用的前提条件的命题
- 推论(corollary):由定理经过一些逻辑演绎得到的明细
但是这些定义并不准确,有时候辅助定理可能实际上比定理更加重要。
逻辑推理规则
如果P成立,且P能推导到Q,则Q成立;
用公式表示为: P , P ⇒ Q Q \frac{P, P \Rightarrow Q}{Q} Q