8.3 基本事实与定理
教学目标：
1、知识目标：了解公理、定理的含义，初步体会公理化思想，并了解本套教科书所采用的公理。
2、情感目标：通过介绍欧几里得的《原本》，使学生感受公理化方法对数学发展和促进人类文明进步的价值。
教学重难点：
根据命题写出已知、求证
教具准备：投影仪、投影片
教学方法：引导探究、合作交流
教学过程：
（一）创设情境，提出问题：
如何通过推理的方法证实一个命题是真命题呢？
（二）设置问题，步步引导：
在数学发展史上，数学家们也遇到过类似的问题，公元前3世纪，古希腊数学家欧几里得将前人积累下来的丰富的几何学成果整理在系统得逻辑体系中，他挑选了一部分不定义的数学名词（称为原名）和一部分公认的真命题（称为公理）作为证实其他命题的起始依据，定义出其他有关的概念，并运用推理的方法，证实了数百个有关的命题，使几何学成为一门具有公理化体系的科学。
（三）层层深入，挖掘特点：
通过长期实践总结出来，并且被人们公认的真命题叫做公理。例如，欧几里德将“两点确定一条直线”“直角都相等”等五条基本几何事实作为公理。通过推理得到证实的真
命题叫做定理。
本教科书选用如下命题作为基本事实：
1、两点确定一条直线。
2、两点之间线段最短。
3、同一平面内，过一点有且只有一条直线与已知直线垂直。
4、两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行。
简单的说：同位角相等，两直线平行。
5、过直线外一点有且只有一条直线与这条直线平行。
6、两边及其夹角分别相等的两个三角形全等。
7、两角及其夹边分别相等的两个三角形全等。
8、三边分别相等的两个三角形全等。
此外，等式的有关性质和不等式的有关性质都可以看做公理，例如，“在等式或不等式中，一个量可以用它的等量来代替”简称为“等量代换”。
（四）指导应用，鼓励创新：
证明：等角的补角相等。
已知：∠1=∠2，∠1+∠3=180°，∠2+∠4=180°。
求证：∠3=∠4
证明：∵∠1+∠3=180°，∠2+∠4=180°（已知），
∴∠3=180°-∠1，∠4=180°-∠2 （等式的性质）
∵∠1=∠2 （已知），
∴∠3=∠4 （等式的性质）。
这样，我们便可以把上面这个经过证实的命题称作定理了，已经证明的定理可以作
为以后推理的依据。
证明一个命题的正确性，要按“已知”“求证”“证明”的顺序和格式写出，其中“已知”是命题的条件，“求证”是命题的结论，而“证明”则是由条件（已知）出发，根据已给出的定义，公理，已经证明的定理，经过一步一步的推理，最后证实结论（求证）的过程。
（五）归纳小结：公理、定理及证明。
（六）随堂练习：第43页1、2 习题8.4 1
（七）作业：习题8.4 2 有能力的同学做联系拓广
