程序的公理化证明报告

《程序的公理化证明报告》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划程序的公理化证明报告　　公理3的内容是：经过不在同一直线上的三个点，有且只有一个平面。　　公理3的推论3是：两条平行的直线确定一个平面。　　所有的推论是由相应的公理证明的。　　证明：　　设两直线l和m互相平行，取l上两个点A和B，取m上两个点C和D，　　显然任意三点都不共线，否则l和m将会相交，与两直线平行矛盾，　　根据公理3，知道　　过A、C、D有且只有一个平面，设为平面α；过B、C、D有且只有一个平面，设为平面β；　　假设两平面α和β不重合，则B在α外，　　在同一平面内，永不

2、相交的两条直线叫平行线，　　所以在α内过A且与CD平行的直线有且只有一条，不妨设为AE，　　此时，AB和AE都与CD平行，　　与“过直线外一点与此直线平行的直线有且只有一条"矛盾,　　所以B也在α内，此时α和β重合，目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　即α和β是同一个平面，　　即两条平行的直线确定一个平面。　　第一章常用的公理、定理和推论　　本章是证明一些命题，在证明时要用到前面学过的一

3、些公理及推论．为帮助同学们掌握好这一章的主要命题，下面将这一章出现的一些公理、定理和推论总结如下：　　1．公理有：　　三边对应相等的两个三角形全等；(SSS)　　两边及其夹角对应相等的两个三角形全等；(SAS)　　两角及其夹边对应相等的两个三角形全等；(ASA)　　全等三角形的对应边、对应角相等；　　两角及其中一角的对边对应相等的两个三角形全等．(AAS)　　2．定理有：　　等腰三角形的两个底角相等；　　有两个角相等的三角形是等腰三角形；　　有一个角等于60度的等腰三角形是等边三角形；　　在直角三角形中，如果一个锐角等于30度，那么它所对的直角边等于斜边的一半；　　直角三角形两条直角边的平

4、方和等于斜边的平方；　　如果三角形两边的平方和等于第三边的平方，那么这个三角形是直角三角形；目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　斜边和一条直角边对应相等的两个直角三角形全等；　　线段垂直平分线上的点到这条线段两个端点的距离相等；　　到一条线段两个端点距离相等的点，在这条线段的垂直平分线上；　　三角形三条边的垂直平分线相交于一点，并且这一点到三个顶点的距离相等；　　角平分线上的点到这个角的

5、两边的距离相等；　　在一个角的内部，且到角的两边距离相等的点，在这个角的平分线上；　　三角(转载于:写论文网:程序的公理化证明报告)形的三条角平分线相交于一点，并且这一点到三条边的距离相等．　　3．推论有：　　等腰三角形顶角的平分线、底边上的中线、底边上的高互相重合；　　等边三角形的三个角都相等，并且每个角都等于；　　三个角都相等的三角形是等边三角形．　　一、方法总结　　1、证明线段相等的方法　　1）在两个三角形可证明它们所在的两个三角形全等；　　2）同一三角形中等角对等边；目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业

6、的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　3）角平分线的性质定理：角平分线上的点到角两边的距离相等；　　4）中垂线的性质定理：线段垂直平分线上的点到线段两端点的距离相等　　5）等腰三角形三线合一的性质；　　6）等于同一线段的两条线段相等　　7）相等线段的运算　　8）直角三角形斜边的中点到三顶点距离相等。　　2、证明两角相等的方法　　1.二直线相交，对顶角相等。　　2.角的平分线分得的两个角相等。　　3.平行线性质　　4.同角的余角相等。　　5.同一三角形中等边对等角.　　6.等腰三角形中，底边上的中线平分顶

7、角。　　7.直角三角形两锐角互余　　8.直角三角形中，斜边的中线分直角三角形为两个等腰三角形　　9.两全等三角形的对应角相等。　　10.等于同一角的两个角相等.　　12.相等角的运算　　13.外角性质　　3、证明垂直的方法目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从