新浪博客

再谈循环论证

2012-11-26 20:07阅读：

http://blog.sina.cn/dpool/blog/u/1613361203

再谈循环论证
彭翕成 pxc417@126.com
武汉 华中师范大学国家数字化学习工程技术研究中心 430079
最近杂志上有不少文章在讨论循环论证。这样的讨论当然是有价值的，因为讨论过程中会涉及很多知识，使得我们的视野更加开阔。
我曾写过一篇《也谈循环论证》（发表于《数学教学》2008年12期），其中引用了张景中先生对循环论证的看法：
“孤立地看一个命题的证法，是很难肯定它是否犯了“循环论证”的错误的。因为证明中还没有出现循环。循环是怎样产生的呢？往往是在寻根问底的追问下出现的。例如：学生用余弦定理证明勾股定理，教师追问“余弦定理怎么证明的呢”？如果学生又用勾股定理来证明余弦定理，教师则可以指出这是犯了循环论证的错误。反之，如果学生不用勾股定理而用其他别的方法给出了余弦定理的一种证法，那就不但没有犯循环论证的错误，而且应当表扬他的勇于思考的精神。
因此，说某种证法“暗含”循环论证，严格说来是不确切的。你说他的证明中用到了某某定理，而这个定理又是如何证明的，他可以反驳到：我可以用别的方法证明那个定理，这就扯不清了。
有一种说法，说是以“现行教材系统为准”，这一说法并没有解决问题。因为，“循环论证”是一个逻辑概念。数学证题中没有出现循环论证，应当有一个稳定的客观标准，——以目前数学公理系统为准，而不应当随教材的变化而变化。否则，同一题目的同一做法，今年是“循环论证”，过几年又可能不是了。在中国是“循环论 证”，在美国可能就不是了，这就乱了。”

个人认为，张先生这段论述，应该作为讨论循环论证的一个基础。下面我们对具体案例进行分析。
例1：证明对数换底公式 {{\log }_{b}}N=\frac{{{\log }_{a}}N}{{{\log }_{a}}b}。
证明：由 {{\log }_{a}}b\cdot {{\log }_{b}}a=1得 \frac{{{\log }_{a}}N}{{{\log }_{a}}b}={{\log }_{a}}N\cdot {{\log }_{b}}a={{\log }_{b}}{{a}^{{{\log }_{a}}N}}={{\log }_{b}}N。
有观点认为这属于循环论证，因为 {{\log }_{a}}b\cdot {{\log }_{b}}a=1就是由换底公式推导而来，即 {{\log }_{a}}b\cdot {{\log }_{b}}a=\frac{\ln b}{\ln a}\cdot \frac{\ln a}{\ln b}=1。
{{\log }_{a}}b\cdot {{\log }_{b}}a=1是不是非依赖换底公式不可？
不是的！ {{\log }_{a}}b\cdot {{\log }_{b}}a={{\log }_{b}}{{a}^{{{\log }_{a}}b}}={{\log }_{b}}b=1。
例2：用 {{\sin }^{2}}A+{{\cos }^{2}}A=1证明勾股定理算不算循环论证？
有观点认为这属于循环论证，因为
{{a}^{2}}+{{b}^{2}}={{c}^{2}}\Leftrightarrow {{(\frac{a}{c})}^{2}}+{{(\frac{b}{c})}^{2}}=1\Leftrightarrow {{\sin }^{2}}A+{{\c...。
持有这种观点的人心中已经有一个根深蒂固的模式：一定要先有勾股定理，然后才有三角恒等式 {{\sin }^{2}}A+{{\cos }^{2}}A=1。
那能不能不用勾股定理证明 {{\sin }^{2}}A+{{\cos }^{2}}A=1呢？
证明：如图1，

再谈循环论证
图1
由 {{\text{S}}_{\vartriangle \text{ABC}}}\text{=}{{\text{S}}_{\vartriangle \text{ABD}}}+{{\text{S}}_{\vartriangle \text{ACD}}}得
\frac{\text{1}}{\text{2}}\cdot \text{AB}\cdot \text{AC}\cdot \text{sin(}\alpha +\beta \text{)=}\frac{\text{1}}{\text{2}}\cdot...
\text{=}\frac{\text{1}}{\text{2}}\cdot \text{AB}\cdot \text{(AC}\cdot \text{cos}\beta \text{)}\cdot \text{sin}\alpha \text{+}...，
即 \text{sin(}\alpha +\beta \text{)=sin}\alpha \text{ cos}\beta \text{+cos}\alpha \text{ sin}\beta。
若 \alpha +\beta =\frac{\pi }{2}，则 {{\sin }^{2}}\alpha +{{\cos }^{2}}\alpha =1。

例3：用余弦定理证明勾股定理算不算循环论证？
争论的焦点也是看能否不找到不依赖于勾股定理的余弦定理证法。下面给出两种证法，更多面积法证明参看《从数学教育到教育数学》（张景中著）和《仁者无敌面积 法》（彭翕成、张景中著）。余弦定理证法很多，之所以此处要采用面积法，是因为面积法证明比较基础，基本上不依赖于其他数学知识。

我的更多文章

下载客户端阅读体验更佳

APP专享