积极 AI Logo 积极 AI

垂直平分线的性质探究：动态演示与等距验证

垂直平分线的性质探究：动态演示与等距验证
几何画板及绘图内容加载中，请稍等……
2019-03-26 01:31
多边形解析几何变换几何作图轨迹
①本范例通过动态几何交互，直观演示线段垂直平分线的核心性质：垂直平分线上的任意点到线段两端点的距离相等。②涉及的核心数学概念包括垂直平分线定义、线段中点、距离相等、全等三角形（通过构造三角形证明）以及几何变换中的对称。③作图要点：使用GeoGebra的LineBisector命令构造垂直平分线，Midpoint确定中点，Segment连接点与端点，Angle和TableText用于显示角度与距离数据，DynamicCoordinates实现点的动态拖动，Mirror和Polygon辅助构造对称图形，通过动态点P的移动实时更新线段AP和BP的长度，并显示等距关系。④适合初中几何教学，用于探索垂直平分线性质、几何证明入门，也可作为高中解析几何中轨迹思想的直观铺垫。

GeoGebra 命令及参数

  1. Polygon({(left, bottom), (left, top), (right, top), (right, bottom)}) → viewbox
  2. PointIn(viewbox) → K_P
  3. Mirror(B, yAxis) → A
  4. Segment(A, B) → AB
  5. LineBisector(AB) → perpBisector
  6. LaTeX((((("\text{" * MainInstruc) * "\\") * SpecInstruc) * "}")) → InstrucComplete
  7. DynamicCoordinates(K_P, If[Distance[K_P, perpBisector] < 0.2, 0, x(K_P)], y(K_P)) → P
  8. Segment(B, P) → segAP
  9. Segment(A, P) → segBP
  10. Angle(AB, perpBisector) → α
  11. TableText({{"\text{Segment \(AP\) =}", "\text{Segment \(BP\)=}"}, {("" * segAP), ("" * segBP)}}, "v") → textData
  12. Midpoint(A, B) → center
  13. Segment(A, center) → segAO
  14. Segment((0, 0), B) → segOB