和《用构造法证明不等式》唱唱对台戏

《数学通报》2003年第12期刊登了《用构造法证明不等式》一文（以下简称文[1]），笔者反复阅读，总觉对文[1]有几点不同的看法，今借贵刊提出，以就教于钟焕清老师和广大同仁，从而从学术争论中促进笔者自身业务素质的提高．     

从思想与文化的高度挖掘多面体欧拉公式的教育价值——谈高中数学课程标准中的多面体欧拉公式

2003年4月国家教育部颁布的《普通高中数学课程标准(实验)》(以下简称《标准》)中，有三处提到多面体欧拉公式．第一揣是选修系列2-1与2-2“推理与证明”专题中，把探求凸多面体的面、顶点、棱之间的数量关系(欧拉公式的发现)作为其教学参考案例；第二处是选修3-3“球面上的几何”中，要求“利用球面三角形面积公式证明欧拉公式，体验球面几何与拓扑学的关系”；     

一个三角形重心向量性质及空间拓广性质的另证

文[1]给出了一个三角形重心性质1，探索出三棱锥也有的类似性质2，给出证明，本文拟给出一种更为简捷的证明方法。     

一个三角不等式的新证

在锐角AABC中，求证cos（B-C）/cosA＋cos（C-A）/cosB＋cos（A-B）/cosC≥6。     

单色光斜入射时光栅主极大的条数

本文证明，在不考虑缺级的条件下，单色光斜入射时光栅主极大的条数与正入射时条数之差不超过1。     

构造单调数列证明一类不等式

文[1]介绍了证明与自然数有关的一类不等式的方法——构造数列证明不等式．经笔者研究，发现此类不等式可用构造单调数列，利用数列的单调性予以证明，此法简便，易于操作．     

不等式a^3＋b^3＋c^3≥3abc的新证法

对于三元基本不等式“若ａ ,ｂ ,ｃ∈Ｒ+,则ａ3+ｂ3+ｃ3≥ 3ａｂｃ” ,老教材是利用因式分解的办法 ,将ａ3+ｂ3+ｃ3- 3ａｂｃ化为12 (ａ +ｂ +ｃ) [(ａ -ｂ) 2 +(ｂ -ｃ) 2 +(ｃ -ａ) 2 ]后 ,再判断其值的正负而获证的 ,新教材是利用构造的办法 ,联想构造不等式“若ａ ,ｂ∈Ｒ+,则ａ3+ｂ3≥ａ2 ｂ +ａｂ2 ” ,后利用二元基本不等式“若ａ ,ｂ∈Ｒ+,则ａ +ｂ≥ 2ａｂ”而证得的 .显然老教材中的证明对因式分解要求较高 ,学生较难掌握 ,故老教材中的证明被新教材中的证明取而代之了 ,但新教材中的构造证法技巧性亦较强 ,且构造的是一个一般性…     

向量及其运算

向量由于具有几何形式和代数形式的“双重身份”，使它成为中学数学知识的一个交汇点，成为联系多项内容的媒介．在引入向量的坐标表示后，可以实现向量运算代数化，将数与形有机地结合起来，许多几何证明问题就可以通过代数（向量）运算得以解决，这也是我们学习向量的目的之一．利用平面向量基本定理，可以将直线型的平面图形表示为某些向量的线性组合．利用向量证明几何问题时，     

基于多项式组主项解耦消元法的几何定理机器证明

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 .由于多项式主系数不含变元 ,已不存在 DTS多项式之间的约化问题 ,故方法有普遍意义 .文中例为西姆松定理的机器证明 .     

圆锥曲线的一个统一命题

利用《几何画板》，我们发现了圆锥曲线的一个有趣的统一命题：