O以下皆为公理推导的定理,有公理组成的新的定义
角: 一点出发由两个不同方向的射线组成的图像(注:构成角的边是无界线的)
全等角: 将一角放置另一角能完全重合,例如∠CAD和∠BAD
倍角: 一个角等于n个相同大小已知角组成的角,则称为角和已知角的关系是n倍角的关系
对顶角: 组成角的射线经顶点延长后形成的射线所组成的角,例如 ∠ B A C 和 ∠ B 1 A C 1 ∠BAC和∠B_1AC_1 ∠BAC和∠B1AC1
垂直线: 两直线交点o所组成的角的邻角相等。如图所示线 C C 1 ⊥ B B 1 CC_1⊥BB_1 CC1⊥BB1(ps:在角以知定理情况下的特殊定义)
锐角: 小于直角的角
钝角: 大于直角的角
余角: 两角和为直角
补角: 两角和为2倍直角
度量数: 一个量对选定作为单位的同类量的比,用画图的知识来说就是尺度和单位。(ps:单位是可以设置定义的,同量不同单位之间可以换算单位,即单位的比值)
①360=1圆周
习惯上分圆周为360份,每份称为度。1度=60分=3600秒,度的符号用°来表示。
②400=1圆周
可以分圆周为400份(事实上你可以划分为任何份),那么直角就是100
①过直线外一点只可引一条与该线垂直的线
②对称点: 直线上有两点关于一点的距离相等,则两点为对称点
①证明若点C在线段AB上,CM的距离是CA和CB的差的一半:
假设C点在M与B的线段上
∵ M 为 A B 中点 , 点 C 在 A B 线段上 ∵ M为AB中点,点C在AB线段上 ∵M为AB中点,点C在AB线段上
∴ A M = M B = L , C M = l , A C + C B = A B = 2 L ∴ AM=MB=L,CM=l,AC+CB=AB=2L ∴AM=MB=L,CM=l,AC+CB=AB=2L
∴ A C = L + l , C B = L − l ∴ AC=L+l,CB=L-l ∴AC=L+l,CB=L−l
∴ C M = A C − C B 2 ∴ CM=\frac{AC-CB}{2} ∴CM=2AC−CB
∵ 由于对称点的定理看推导 C 在线段 A M 上时结论一致 ∵ 由于对称点的定理看推导C在线段AM上时结论一致 ∵由于对称点的定理看推导C在线段AM上时结论一致
∴ C M = A C − C B 2 ∴ CM=\frac{AC-CB}{2} ∴CM=2AC−CB
②证明若点C在线段的延迟线外,CM的距离是CA和CB之和的一半:
假设延迟线是沿着MB的
∵ M 为 A B 中点 ∵ M为AB中点 ∵M为AB中点
∴ A M = M B = L , C B = l , A B = 2 L ∴ AM=MB=L,CB=l,AB=2L ∴AM=MB=L,CB=l,AB=2L
∴ A C + B C = A B + B C + B C = 2 L + 2 l ∴ AC+BC=AB+BC+BC=2L+2l ∴AC+BC=AB+BC+BC=2L+2l
∵ C M = M B + B C = L + l ∵ CM=MB+BC=L+l ∵CM=MB+BC=L+l
∵ C M = A C + B C 2 ∵ CM=\frac{AC+BC}{2} ∵CM=2AC+BC
①证明若射线OC在∠AOB内,则∠COM=∠COA与∠COB之差的一半:
先假设OC在MOB内
∵ O M 为 ∠ A O B 的平分线 ∵ OM为∠AOB的平分线 ∵OM为∠AOB的平分线
∴ ∠ A O M = ∠ B O M = ∠ 1 ∴ ∠AOM=∠BOM=∠1 ∴∠AOM=∠BOM=∠1
∵ O C 在 ∠ A O B 内 ∵ OC在∠AOB内 ∵OC在∠AOB内
∴ ∠ A O C + ∠ C O B = ∠ A O B = 2 ∠ 1 ∴ ∠AOC+∠COB=∠AOB=2∠1 ∴∠AOC+∠COB=∠AOB=2∠1
∴ ∠ C O A − ∠ C O B ∴ ∠COA-∠COB ∴∠COA−∠COB
= ∠ 1 + ∠ C O M − ( ∠ 1 − ∠ C O M ) ~~~=∠1+∠COM-(∠1-∠COM) =∠1+∠COM−(∠1−∠COM)
= 2 ∠ C O M ~~~=2∠COM =2∠COM
∴ ∠ C O A − ∠ C O B = 2 ∠ C O M ∴ ∠COA-∠COB=2∠COM ∴∠COA−∠COB=2∠COM
根据对称原理可推导OC在∠AOM内的结果一致
②证明若射线OC在∠AOB的对顶角 ∠ A 1 O B 1 ∠A^1OB^1 ∠A1OB1内,则∠COM等于前两个角差一半的补角:
假设OC在 ∠ B 1 O M 1 ∠B_1OM_1 ∠B1OM1中
∵ 根据对顶角原理做延长的边 O B 1 . O M 1 , O A 1 , O C 1 ∵ 根据对顶角原理做延长的边OB_1.OM_1,OA_1,OC_1 ∵根据对顶角原理做延长的边OB1.OM1,OA1,OC1
∴ ∠ C O M 1 = ∠ C 1 O M ∴ ∠COM_1=∠C_1OM ∴∠COM1=∠C1OM
∵ ①中所推 ∵①中所推 ∵①中所推
∴ ∠ C O A − ∠ C O B = 2 ∠ C 1 O M ∴∠COA-∠COB=2∠C_1OM ∴∠COA−∠COB=2∠C1OM
∵ ∠ C O M ∵∠COM ∵∠COM
= ∠ C O C 1 − ∠ C 1 O M ~~~=∠COC_1-∠C_1OM =∠COC1−∠C1OM
= 180 ° − ( ∠ C O A − ∠ C O B ) ~~~=180°-(∠COA-∠COB) =180°−(∠COA−∠COB)
∴ ∠ C O M = 180 ° − ( ∠ C O A − ∠ C O B ) ∴∠COM=180°-(∠COA-∠COB) ∴∠COM=180°−(∠COA−∠COB)
根据对称原理可推导OC在 ∠ A 1 O M 1 ∠A_1OM_1 ∠A1OM1内的结果一致
③若射线OC在两条直线形成的 ∠ B O A 1 或 ∠ A O M 1 ∠BOA^1或∠AOM^1 ∠BOA1或∠AOM1内部,则 ∠ C O M ∠COM ∠COM等于∠COA,∠COB之和的一半
假设OC在 ∠ B O A 1 ∠BOA^1 ∠BOA1中
∵ O M 为 ∠ A O B 的平分线 ∵ OM为∠AOB的平分线 ∵OM为∠AOB的平分线
∴ ∠ A O M = ∠ B O M = ∠ 1 ∴ ∠AOM=∠BOM=∠1 ∴∠AOM=∠BOM=∠1
设 ∠ C O B = ∠ 2 设∠COB=∠2 设∠COB=∠2
∴ ∠ C O A = 2 ∠ 1 + ∠ 2 ∴∠COA=2∠1+∠2 ∴∠COA=2∠1+∠2
∵ ∠ C O M = ∠ A O M + ∠ B O M + ∠ B O C ∵∠COM=∠AOM+∠BOM+∠BOC ∵∠COM=∠AOM+∠BOM+∠BOC
= ∠ 1 + ∠ 2 ~~~=∠1+∠2 =∠1+∠2
= ∠ C O A + ∠ C O B 2 ~~~=\frac{∠COA+∠COB}{2} =2∠COA+∠COB
= 2 ∠ 1 + 2 ∠ 2 2 ~~~=\frac{2∠1+2∠2}{2} =22∠1+2∠2
∴ ∠ C O M = ∠ C O A + ∠ C O B 2 ∴∠COM=\frac{∠COA+∠COB}{2} ∴∠COM=2∠COA+∠COB
根据对称原理可推导OC在 ∠ A O M 1 ∠AOM^1 ∠AOM1内的结果一致
∵ ∠ A O B + ∠ B O C = ∠ A O C , ∠ C O D + ∠ D O A = ∠ C O A ∵∠AOB+∠BOC=∠AOC,∠COD+∠DOA=∠COA ∵∠AOB+∠BOC=∠AOC,∠COD+∠DOA=∠COA
∴ ∠ A O B + ∠ B O C = ∠ C O D + ∠ D O A ∴∠AOB+∠BOC=∠COD+∠DOA ∴∠AOB+∠BOC=∠COD+∠DOA
∵ ∠ A O B + ∠ B O C + ∠ C O D + ∠ D O A = 2 π ∵∠AOB+∠BOC+∠COD+∠DOA=2\pi ∵∠AOB+∠BOC+∠COD+∠DOA=2π
∴ ∠ A O B + ∠ B O C = ∠ C O D + ∠ D O A = π ∴∠AOB+∠BOC=∠COD+∠DOA=\pi ∴∠AOB+∠BOC=∠COD+∠DOA=π
所以可知点A点C在同一条直线上
同理 ∠ D O A + ∠ A O B = ∠ B O C + ∠ C O D ∠DOA+∠AOB=∠BOC+∠COD ∠DOA+∠AOB=∠BOC+∠COD=>点B,D在同一条直线上
设 ∠ A O B 的平分线为 O M , ∠ C O D 的平分线为 O M 1 , ∠ B O C 的平分线为 O N , ∠ A O D 的角平分线为 O N 1 设∠AOB的平分线为OM,∠COD的平分线为OM^1,∠BOC的平分线为ON,∠AOD的角平分线为ON^1 设∠AOB的平分线为OM,∠COD的平分线为OM1,∠BOC的平分线为ON,∠AOD的角平分线为ON1
∵ M M 1 , N N 1 为一条直线 ∵MM^1,NN^1为一条直线 ∵MM1,NN1为一条直线
∴ { ∠ A O M = ∠ M O B = ∠ A O B 2 ∠ C O M 1 = ∠ M 1 O D = π − ∠ C O M = π − ∠ M O D = ∠ C O D 2 ∠ B O N = ∠ N O C = ∠ B O C 2 ∠ A O N 1 = ∠ N 1 O D = π − ∠ A O N 1 = π − ∠ N 1 O D = 6 ∠ A O D 2 ∴\begin{cases} ∠AOM=∠MOB=\frac{∠AOB}{2} \\∠COM^1=∠M^1OD=\pi-∠COM=\pi-∠MOD=\frac{∠COD}{2} \\∠BON=∠NOC=\frac{∠BOC}{2} \\∠AON^1=∠N^1OD=\pi-∠AON^1=\pi-∠N^1OD=6\frac{∠AOD}{2} \end{cases} ∴⎩ ⎨ ⎧∠AOM=∠MOB=2∠AOB∠COM1=∠M1OD=π−∠COM=π−∠MOD=2∠COD∠BON=∠NOC=2∠BOC∠AON1=∠N1OD=π−∠AON1=π−∠N1OD=62∠AOD
∵ { ∠ A O M + ∠ C O M 1 = ∠ M O B + ∠ M 1 O D ∠ A O M + ∠ M 1 O D = ∠ M O B + ∠ C O M 1 ∠ B O N + ∠ A O N 1 = ∠ B O N + ∠ N 1 O D ∠ B O N + ∠ N 1 O D = ∠ B O N + ∠ A O N 1 ∵\begin{cases} ∠AOM+∠COM^1=∠MOB+∠M^1OD \\∠AOM+∠M^1OD=∠MOB+∠COM^1 \\∠BON+∠AON^1=∠BON+∠N^1OD \\∠BON+∠N^1OD=∠BON+∠AON^1 \end{cases} ∵⎩ ⎨ ⎧∠AOM+∠COM1=∠MOB+∠M1OD∠AOM+∠M1OD=∠MOB+∠COM1∠BON+∠AON1=∠BON+∠N1OD∠BON+∠N1OD=∠BON+∠AON1
∵ { ∠ A O M + ∠ C O M = ∠ M O B + ∠ M O D ∠ A O M + ∠ M O D = ∠ M O B + ∠ C O M ∠ B O N + ∠ A O N = ∠ B O N + ∠ N O D ∠ B O N + ∠ N O D = ∠ B O N + ∠ A O N ∵\begin{cases} ∠AOM+∠COM=∠MOB+∠MOD \\∠AOM+∠MOD=∠MOB+∠COM \\∠BON+∠AON=∠BON+∠NOD \\∠BON+∠NOD=∠BON+∠AON \end{cases} ∵⎩ ⎨ ⎧∠AOM+∠COM=∠MOB+∠MOD∠AOM+∠MOD=∠MOB+∠COM∠BON+∠AON=∠BON+∠NOD∠BON+∠NOD=∠BON+∠AON
∵ { ∠ A O C = ∠ B O D ∠ A O D = ∠ C O B ∠ A O B = ∠ B O D ∠ B O D = ∠ A O B ∵\begin{cases} ∠AOC=∠BOD \\∠AOD=∠COB \\∠AOB=∠BOD \\∠BOD=∠AOB \end{cases} ∵⎩ ⎨ ⎧∠AOC=∠BOD∠AOD=∠COB∠AOB=∠BOD∠BOD=∠AOB
∴ ∠ A O B = ∠ A O C = ∠ B O D = ∠ A O D ∴∠AOB=∠AOC=∠BOD=∠AOD ∴∠AOB=∠AOC=∠BOD=∠AOD
∵ ∠ A O B + ∠ A O C + ∠ B O D + ∠ A O D = 2 π ∵∠AOB+∠AOC+∠BOD+∠AOD=2\pi ∵∠AOB+∠AOC+∠BOD+∠AOD=2π
∴ ∠ A O B = ∠ A O C = ∠ B O D = ∠ A O D = π 2 ∴∠AOB=∠AOC=∠BOD=∠AOD=\frac{\pi}{2} ∴∠AOB=∠AOC=∠BOD=∠AOD=2π
故四条半直线互为延长线