动态几何课上的勾股定理教学

本文介绍笔者在<动态几何>课程中的一个教学案例.虽然是发生在大学课堂,但其中的内容完全是中学的,特别是打破常规的思索,有一定的借鉴作用,故与大家分享. 几何作图和动态测量是动态几何中非常基本但又十分重要的功能.近些年,测量之风在中学教学中相当盛行.有些老师采用原始工具,主要是三角板、量角器;有些老师则先进一些,采用动态几何软件.     

有学识的无知

"如果用小圆代表你们学到的知识,用大圆代表我学到的知识,那么大圆的面积是多一点,但两圆之外的空白都是我们的无知面.圆越大其圆周接触的无知面就越多."     

数学与文学

龟兔赛跑的故事,是大家很熟悉的.兔子本来跑在前面,但由于骄傲,路上睡了一觉,结果输给了乌龟.作为文学作品来说,当然要大力渲染兔子的骄傲自满,乌龟的坚持不懈.而从数学角度来看,则可抽象为下面的行程图.     

交换子群较小的一类有限p群

研究了阶为p(m(m+1)/2)且交换子群的最大阶为p(m)的有限群,得到了这类特殊的p群的几个性质,给出了满足极大类条件的这类p群的同构分类.     

让学生建构自己的理解——以等比数列前n项和公式推导为例

学生的学习一般都是基于已有的知识和经验,从已有的思维出发,通过发现问题、提出问题、分析问题、解决问题的学习过程,抽象概念、形成公式、产生结论、感悟思想方法,建构知识的意义与价值.笔者认为,要将静态的知识变成学生头脑中“活”的知识.     

阶梯激励合约下代理人行为与合约激励效果

基于委托代理理论研究了阶梯激励合约下的代理人行为,并从委托人角度探讨了最优合约设计的问题。在一般市场需求分布和代理人效用函数下,代理人的效用可能是其努力水平的双峰函数,且存在一个阈值使得当合约绩效奖励超过该阈值时,代理人的努力水平“跳跃式”增加。通过比较阶梯激励合约与其他两类激励合约发现,当代理人是风险厌恶型且代理人的产出完全依赖于其努力水平,委托人总是更偏好阶梯激励合约。     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

Generalized Rule Induction Based on Immune Algorithm

A generalized rule induction mechanism, immune algorithm, for knowledge bases is building an inheritance hierarchy of classes based on the content of their knowledge objects. This hierarchy facilitates group-related processing tasks such as answering set queries, discriminating between objects, finding similarities among objects, etc. Building this hierarchy is a difficult task for knowledge engineers. Conceptual induction may be used to automate or assist engineers in the creation of such a classification structure. This paper introduces a new conceptual rule induction method, which addresses the problem of clustering large amounts of structured objects. The conditions under which the method is applicable are discussed.     

构造色等价图的几种新方法

给出了构造伴随等价图的几种新方法，因而也给出了构造色等价图的几种新方法。