积极 AI Logo 积极 AI

平行四边形对角线互相平分的坐标几何证明

平行四边形对角线互相平分的坐标几何证明
几何画板及绘图内容加载中，请稍等……
2016-05-27 09:47
多边形向量解析几何变换几何作图
所属专题 Expressing Geometric Properties with Equations (GPE) Cluster Unit 7: Polygons and Quadrilaterals Quadrilaterals Coordinate Geometry Proof Prompts
该范例通过坐标几何方法直观演示并证明平行四边形两条对角线互相平分这一核心几何性质。它构建了一个动态平行四边形，利用中点工具标记对角线交点，并通过坐标计算或图形变换验证该交点同时是两条对角线的中点。涉及的核心数学概念包括平行四边形的定义与性质、中点坐标公式、向量平移以及几何证明的逻辑推理。作图要点方面，从构造摘要可见使用了Line（直线）、Segment（线段）、Midpoint（中点）、Vector（向量）、Translate（平移）、Polygon（多边形）等GeoGebra命令，并创建了多个辅助点（如A'、D'等）和按钮（button1）用于动态交互。该范例适合初中高年级或高中学生，用于理解解析几何中几何性质的代数验证方法，也可作为教师课堂演示或学生自主探究的素材，帮助将直观图形与严谨证明相结合。

GeoGebra 命令及参数

  1. Line(A, B) → a
  2. Slope(a) → m
  3. PointIn(c) → C
  4. Line(C, a) → e
  5. Vector(A, B) → u
  6. Translate(C, u) → C'
  7. Segment(B, C') → f
  8. Segment(C, C') → g
  9. Segment(A, B) → h
  10. Segment(A, C) → d
  11. Midpoint(A, C') → D
  12. Dilate(A, If[0 < k ≤ 1, 1 - k, 0], D) → A'
  13. Segment(A, A') → i
  14. Dilate(D, If[1 < k ≤ 2, 2 - k, 0], C') → D'
  15. Segment(D, D') → l
  16. Dilate(C, If[2 < k ≤ 3, 3 - k, 0], D) → C'_1
  17. Segment(C, C'_1) → j
  18. Dilate(D, If[3 < k ≤ 4, 4 - k, 0], B) → D'_1
  19. Segment(D, D'_1) → n
  20. Rotate(D, If[5 < k ≤ 6, ((k - 5) * π), 3.141592653589793], D) → D'_2
  21. Rotate(D', If[4 < k ≤ 5, ((k - 4) * π), 3.141592653589793], D) → D''
  22. Segment(D'_2, D'') → l'
  23. Rotate(D, If[6 < k ≤ 7, ((k - 6) * π), 3.141592653589793], D) → D'_3
  24. Rotate(D'_1, If[5 < k ≤ 6, ((k - 5) * π), 3.141592653589793], D) → E
  25. Segment(D'_3, E) → n'
  26. Rotate(A, If[6 < k ≤ 7, ((-(k - 6)) * π), -3.141592653589793], D) → A'_1
  27. Rotate(B, If[6 < k ≤ 7, ((-(k - 6)) * π), -3.141592653589793], D) → B'
  28. Polygon(A, B, C', C) → poly1, a_1, b_1, c', c_1