●行列式的应用 Crammer法则 如果线性方程组 ax+a2x2+...+amnx,=b a2x+ax2+...+anxn=b2 (1) an+an2x2+.+amxn =b 的系数行列式D不等于零,则方程组有唯一解 D D
5、如图,已知:C是以AB为直径的半圆O上一点,CH⊥AB于点H,直线AC与过 B点的切线相交于点D,E为CH中点,连接AE并延长交BD于点F,直线CF交直线AB 于点G (I)求证:点F是BD中点: (2)求证:CG是⊙0的切线: (3)若FB=FE-2,求⊙O的半径. E B G
·尺规作图问题 一通过已得到的两点画一条直线 一以已得到的某个点为圆心,以已得到的某两个,点之间的距离为半径 画圆; 一计算并标出两直线的交点坐标 一计算并标出一直线和一个圆的交点坐标 一计算并标出两圆的交点坐标
• 尺规作图问题 – 通过已得到的两点画一条直线 – 以已得到的某个点为圆心,以已得到的某两个点之间的距离为半径 画圆; – 计算并标出两直线的交点坐标 – 计算并标出一直线和一个圆的交点坐标 – 计算并标出两圆的交点坐标
·数学机械化 一把要求解或者求证的某一类问题当成一个整体来考虑,建立一种统 一的确定的程序,只要按照该程序按部就班的执行,经历有限步骤 后即可求得数学问题的解或者判断数学命题是否为真
• 数学机械化 – 把要求解或者求证的某一类问题当成一个整体来考虑,建立一种统 一的确定的程序,只要按照该程序按部就班的执行,经历有限步骤 后即可求得数学问题的解或者判断数学命题是否为真
数学机械化的意义 ·脑力劳动的机械化 一提高计算效率,用计算机代替人的劳动,完成人类很难完成的计算 量 ·解一元高次方程、因式分解 ·四色定理的证明
数学机械化的意义 • 脑力劳动的机械化 – 提高计算效率,用计算机代替人的劳动,完成人类很难完成的计算 量 • 解一元高次方程、因式分解 • 四色定理的证明