MathPlotAI Logo MathPlotAI

Congruence Postulates

Congruence Postulates
Loading the math board and drawing, please wait…
2018-12-02 04:39
TriangleVectorGeometric Construction
This example demonstrates the postulates of congruent triangles, involving key mathematical concepts such as the definition and methods of determining congruent triangles. Using GeoGebra commands like Point, Segment, Circle, Angle, etc., congruent triangles can be constructed. Suitable for middle and high school students to learn about geometric construction and congruent triangles.

GeoGebra Commands & Parameters

  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,