MathPlotAI Logo MathPlotAI

Parallel Lines and Transversals Theorem Demo

Parallel Lines and Transversals Theorem Demo
Loading the math board and drawing, please wait…
2019-07-03 20:33
TriangleAngleTransformationGeometric Construction
This example demonstrates the theorem stating that if parallel lines cut off congruent segments on one transversal, they cut off congruent segments on every transversal. It involves core math concepts like parallel lines, transversals, congruent segments, and geometric proofs. The construction uses commands such as Point, Line, Rotate, Angle, Ray, Circle, OrthogonalLine, Intersect, Segment, CircleSector, Dilate, Vector, and Translate. Suitable for high school geometry teaching to visually aid students in understanding the theorem.

GeoGebra Commands & Parameters

  1. Point(y = 0) → A
  2. Line(A, B) → f
  3. Rotate(B, α, A) → B'
  4. Angle(B, A, B') → β
  5. Line(A, B') → g
  6. Rotate(B', γ, A) → B''
  7. Angle(B', A, B'') → δ
  8. Ray(A, B'') → h
  9. Circle(A, a) → c
  10. OrthogonalLine(A, g) → i
  11. Intersect(c, i, 2) → C
  12. Circle(C, a) → d
  13. Intersect(d, i, 2) → D
  14. Circle(D, a) → e
  15. Intersect(e, i, 2) → E
  16. Line(C, g) → j
  17. Line(D, g) → k
  18. Line(E, g) → l
  19. Intersect(h, j) → F
  20. Intersect(k, h) → G
  21. Intersect(l, h) → H
  22. Segment(A, F) → m
  23. Circle(A, (0.3 * m)) → p
  24. Point(l) → I
  25. Point(g) → J
  26. Segment(I, J) → n
  27. Intersect(k, n) → K
  28. Intersect(j, n) → L
  29. Intersect(p, g, 2) → M
  30. Intersect(p, h, 1) → N
  31. CircleSector(A, M, N) → q
  32. Dilate(A, If[0 < b ≤ 1, 1 - b, 0], F) → A'
  33. Segment(A, A') → r
  34. Dilate(F, If[1 < b ≤ 2, 2 - b, 0], G) → F'
  35. Segment(F, F') → s
  36. Dilate(G, If[2 < b ≤ 3, 3 - b, 0], H) → G'
  37. Segment(G, G') → t
  38. Dilate(A, If[3 < b ≤ 4, 4 - b, 0], F) → A'_1
  39. Vector(A, A'_1) → u
  40. Translate(q, u) → q'
  41. Dilate(F, If[4 < b ≤ 5, 5 - b, 0], G) → F'_1
  42. Vector(F, F'_1) → v
  43. Translate(q', v) → q''
  44. Dilate(G, If[5 < b ≤ 6, 6 - b, 0], H) → G'_1
  45. Vector(G, G'_1) → w
  46. Translate(q'', w) → q'''
  47. Rotate(q''', If[6 < b ≤ 7, ((-(b - 6)) * π), (-π)], H) → c_1
  48. Rotate(A, If[7 < b ≤ 8, ((b - 7) * π), π], F) → A'_2
  49. Rotate(A', If[7 < b ≤ 8, ((b - 7) * π), π], F) → A''
  50. Segment(A'_2, A'') → r'
  51. Rotate(A'_2, If[8 < b ≤ 9, ((b - 8) * π), π], G) → O
  52. Rotate(A'', If[8 < b ≤ 9, ((b - 8) * π), π], G) → A'''
  53. Segment(O, A''') → r''
  54. Dilate(I, If[11.5 < b ≤ 12.5, 12.5 - b, 0], K) → I'
  55. Segment(I, I') → f_1
  56. Dilate(K, If[12.5 < b ≤ 13.5, 13.5 - b, 0], L) → K'
  57. Segment(K, K') → g_1
  58. Dilate(L, If[13.5 < b ≤ 14.5, 14.5 - b, 0], J) → L'
  59. Segment(L, L') → h_1
  60. Rotate(I, If[14.5 < b ≤ 15.5, ((-(b - 15.5)) * π), (-π)], K) → I'_1
  61. Rotate(I', If[14.5 < b ≤ 15.5, ((-(b - 15.5)) * π), (-π)], K) → I''
  62. Rotate(I, If[14.5 < b ≤ 15.5, ((-(b - 14.5)) * π), (-π)], K) → I'_2
  63. Rotate(I', If[14.5 < b ≤ 15.5, ((-(b - 14.5)) * π), (-π)], K) → I''_1
  64. Segment(I'_2, I''_1) → i_1
  65. Rotate(I'_2, If[15.5 < b ≤ 16.5, ((-(b - 15.5)) * π), (-π)], L) → P
  66. Rotate(I''_1, If[15.5 < b ≤ 16.5, ((-(b - 15.5)) * π), (-π)], L) → Q
  67. Segment(P, Q) → j_1

AI Drawing Prompt Reference

Draw two parallel lines f and g, and their intersection point A. Draw a circle c with A as the center, and a perpendicular line i from A to g, with the intersection points of i and c being C. Draw a circle d with C as the center, and the intersection points of d and i being D. Draw a circle e with D as the center, and the intersection points of e and i being E. Connect AC, AD, and AE to form triangle ACE. Draw a circle p with A as the center and 0.3 times the length of AC, with the intersection points of p and g being I and with h being J, and connect IJ to form line segment n. Draw a circle with I as the center and the length of IJ, with the intersection points of the circle and k being K and with h being L. Draw a circle with A as the center and 0.7 times the length of AC, with the intersection points of the circle and F being A', and connect AA' to form line segment r. Draw a circle with F as the center and the length of FF', with the intersection points of the circle and G being F', and connect FF' to form line segment s. Draw a circle with G as the center and the length of GG', with the intersection points of the circle and H being G', and connect GG' to form line segment t. Draw a circle with A as the center and 1.3 times the length of AC, with the intersection points of the circle and F being A'_1, and connect AA'_1 to form vector u, and translate circle q along u to form circle q'. Draw a circle with F as the center and the length of FF', with the intersection points of the circle and G being F'_1, and connect FF'_1 to form vector v, and translate circle q' along v to form circle q''. Draw a circle with G as the center and the length of GG', with the intersection points of the circle and H being G'_1, and connect GG'_1 to form vector w, and translate circle q'' along w to form circle q'''. Rotate q''' by -π around H to form c_1, and rotate A by π around F to form A'_2.
The prompt above was compiled from the original drawing commands and is for reference only.