积极 AI Logo 积极 AI

全等三角形公理

全等三角形公理
几何画板及绘图内容加载中，请稍等……
2018-12-02 04:39
测试改名0向量几何作图
这个范例演示了全等三角形的公理，涉及的核心数学概念包括全等三角形的定义和判定方法。通过使用GeoGebra命令如Point, Segment, Circle, Angle等，可以构造出全等三角形。适合初中和高中学生学习几何作图和全等三角形的相关知识。

GeoGebra 命令及参数

  1. Point(Circle[A, 2]) → B
  2. Segment(A, B) → f
  3. Point(Circle[B, 3]) → C
  4. Segment(B, C) → g
  5. Point(Circle[C, 4]) → D
  6. Segment(C, D) → h
  7. Point(Circle[A_1, 2]) → B_1
  8. Segment(A_1, B_1) → f_1
  9. Point(Circle[B_1, 3]) → C_1
  10. Segment(B_1, C_1) → g_1
  11. Point(Circle[C_1, 4]) → D_1
  12. Segment(C_1, D_1) → h_1
  13. Circle(B, A) → c
  14. Circle(C_1, D_1) → d
  15. Point(Circle[E, 2]) → F
  16. Segment(E, F) → t
  17. Point(Circle[G, t]) → H
  18. Segment(G, H) → i_1
  19. Point(Circle[F, 5]) → I
  20. Segment(F, I) → j_1
  21. Point(Circle[H, 5]) → J
  22. Segment(H, J) → k_1
  23. Angle(I, F, E) → α
  24. Rotate(G, α, H) → G'
  25. Ray(H, G') → l_1
  26. Angle(J, H, G) → β
  27. Point(Circle[K, 8]) → L
  28. Segment(K, L) → m_1
  29. Point(Circle[L, 5]) → M
  30. Segment(L, M) → n_1
  31. Ray(M, N) → p_1
  32. Ray(L, K) → q_1
  33. Intersect(p_1, q_1) → O
  34. Segment(M, O) → r_1
  35. Segment(N, M) → s_1
  36. Angle(N, M, L) → ε
  37. Point(Circle[K_1, 8]) → L_1
  38. Segment(K_1, L_1) → m_2
  39. Point(Circle[L_1, 5]) → M_1
  40. Segment(L_1, M_1) → n_2
  41. Ray(M_1, N_1) → p_2
  42. Ray(L_1, K_1) → q_2
  43. Segment(N_1, M_1) → s_2
  44. Angle(N_1, M_1, L_1) → ε_1
  45. Angle(L_1, M_1, N_1) → ζ
  46. Ray(L_1, K_1) → t_1
  47. Intersect(t_1, s_2) → P
  48. Segment(P, M_1) → c_1
  49. Circle(B_1, A_1) → c_2
  50. Intersect(d, c_2) → S, T, ,
  51. Rotate(J, α, H) → J'
  52. Angle(J, H, J') → ι
  53. Rotate(G, α, H) → G'_1
  54. Angle(G, H, G'_1) → κ
  55. Segment(H, J') → f_2
  56. Circle(H, G) → e_2
  57. Intersect(e_2, f_2) → Q,
  58. Ray(H, G'_1) → g_2
  59. Circle(H, J) → h_2
  60. Intersect(h_2, g_2) → R,
  61. Ray(M_1, K_1) → i_2
  62. Circle(M_1, N_1) → k_2
  63. Rotate(L_1, ε, M_1) → U
  64. Angle(L_1, M_1, U) → λ
  65. Ray(M_1, U) → j_2
  66. Intersect(k_2, j_2) → V,
  67. Rotate(K_1, (-ε), M_1) → W
  68. Angle(W, M_1, K_1) → μ
  69. Circle(M_1, L_1) → r_2
  70. Ray(M_1, W) → l_2
  71. Intersect(r_2, l_2) → Z,