数学机械化思想 司梦维
数学机械化思想 司梦维
●行列式的应用 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
·尺规作图问题 一通过已得到的两点画一条直线 一以已得到的某个点为圆心，以已得到的某两个，点之间的距离为半径 画圆； 一计算并标出两直线的交点坐标 一计算并标出一直线和一个圆的交点坐标 一计算并标出两圆的交点坐标
• 尺规作图问题 – 通过已得到的两点画一条直线 – 以已得到的某个点为圆心，以已得到的某两个点之间的距离为半径 画圆； – 计算并标出两直线的交点坐标 – 计算并标出一直线和一个圆的交点坐标 – 计算并标出两圆的交点坐标