《数学学科发展前沿专》专题讲座.docVIP

第一章　行列式及其应用 行列式的概念是由莱布尼兹最早提出来的.日本著名的“算圣”关孝和在1683年的著作《解伏题之法》中就提出了行列式的概念及算法.与莱布尼茨从线性方程组的求解入手不同,关孝和从高次方程组消元法入手对这一概念进行阐述.行列式的发明应归功于莱布尼兹和关孝和两位数学家，他们各自在不同的地域以不同的方式提出了这个概念. 1683年，日本数学家关孝和在《解伏题之法》中第一次提出了行列式这个概念。该书中提出了 乃至 的行列式，行列式被用来求解高次方程组。1693年，德国数学家莱布尼茨从三元一次方程组的系统中消去两个未知量得到了一个行列式。这个行列式不等于零，就意味着有一组解同时满足三个方程。由于当时没有矩阵这个概念，莱布尼茨用数对来表示行列式中元素的位置：ij代表第i行第j列。1730年，苏格兰数学家科林?麦克劳林在他的《论代数》中已经开始阐述行列式的理论，其间记载了用行列式解二元、三元和四元一次方程组的解法，并给出了四元一次方程组一般解的正确形式。1750年，瑞士的加布里尔?克莱姆首次在他的《代数曲线分析引论》给出了 元一次方程组求解的法则，用于确定经过五个点的一般二次曲线的系数，但并没有给出证明。此后，行列式的相关研究逐渐增加。1764年，法国的艾蒂安?裴蜀在论文中提出的行列式的计算方法简化了克莱姆法则，给出了用结式来判别线性方程组的方法。法国人的亚历山德?西奥菲勒?范德蒙德在1771年的论著中首次将行列式和解方程理论分离，对行列式单独作出阐述。此后，数学家们开始对行列式本身进行研究。1772年，皮埃尔-西蒙?拉普拉斯在论文《对积分和世界体系的探讨》中推广了范德蒙德著作里面将行列式展开为若干个较小的行列式之和的方法，提出了子式的定义。1773年，约瑟夫?路易斯?拉格朗日发现了 的行列式与空间中体积之间的联系：原点和空间中三个点所构成的四面体的体积，是它们的坐标所组成的行列式的六分之一。 行列式被称为“determinant”最早是由卡尔?弗里德里希?高斯在他的《算术研究》中提出的。“determinant”有“决定”意思，这是由于高斯认为行列式能够决定二次曲线的性质。高斯还提出了一种通过系数之间加减来求解多元一次方程组的方法，即现在的高斯消元法。 十九世纪，行列式理论得到进一步地发展并完善。此前，高斯只不过将“determinant”这个词限定在二次曲线所对应的系数行列式中，然而奥古斯丁?路易?柯西在1812年首次将“determinant”一词用来表示行列式。柯西也是最早将行列式排成方阵并将其元素用双重下标表示的数学家。柯西还证明了曾经在雅克?菲利普?玛利?比内的书中出现过但没有证明的行列式乘法定理。 十九世纪五十年代，凯莱和詹姆斯?约瑟夫?西尔维斯特将矩阵的概念引入数学研究中。行列式和矩阵之间的密切关系使得矩阵论蓬勃发展的同时也带来了许多关于行列式的新结果。 行列式是现行高中普通课程标准（实验）中新增加内容，安排在选修4—2中，行列式作为高等代数的基础内容安排在中学数学课程中为高中学生理解数学基本原理、思想、方法，培养学生数学知识的迁移能力，进一步学习提供必要的数学准备。行列式作为一种重要的数学工具引进，从更高的角度、更便捷地解决了中学数学中的问题。本文结合中学数学课程内容，将从空间几何、平面几何、解析几何、高中代数等方面探究行列式在中学数学领域中的应用。 一、行列式在平面几何中的应用 一些平面几何问题，按照传统的中学数学解题方法，一般比较困难，利用行列式的知识解题可以将复杂的理论问题转化为简单的计算问题。 例1 证明不存在格点三角形是正三角形。 证明：（反证法）假设存在格点三角形是正三角形。 不妨设 是格点三角形且是正三角形。设其顶点坐标分别为 ， ， ， ， ， 所以， 。 又因为 ， 前后矛盾,所以不存在格点三角形为正三角形。 例2 证明三角形三条中线交于一点。(1980年高考题) 如图1 如图1所示，在三角形ABC中，H、I、J分别为边BC、AC、AB的中点。求证：三条直线AH、BI、CJ相交于一点G。 证明：不妨以AB所在直线为x轴，点C在y轴上作直角坐标系。设A、B、C三点的坐标分别为A（a,0）,B(b,0),C(0,c),则显然有H，I ，J ，分别求得直线方程： AH： CJ： BI： 令AH所在直线为 ，则 (2)-(1)得， ， ， 。 代入（2）得， ， 从而AH所在直线为 。 同理，将这三个直线方程看做以 为未知数的齐次线性方程组，则其系数行列式为： 所以齐次线性方程组有唯一解，即这三条直线交于一点。 例3 求证：三角形三条高线交于一点。 证明：建立直角坐标系如图所示，设 因为直线AD法向量为 ，且过点,所以直线AD为 。 同理，直线BE为 ，直线CF为 。 将三个直线方程看做是以x,