积极 AI Logo 积极 AI

圆中割线、弦与切线交点线段长度关系探究

圆中割线、弦与切线交点线段长度关系探究
几何画板及绘图内容加载中，请稍等……
2016-11-23 04:43
圆角函数几何作图滑块动画
本范例通过动态几何演示圆内割线、弦与切线相交时，各线段长度之间满足的乘积关系（如相交弦定理、割线定理、切割线定理）。核心数学概念包括圆幂定理、相似三角形、比例关系以及线段乘积的恒等性。作图要点：使用GeoGebra的Intersect、Point、Line、Circle等命令构造圆、割线、切线和交点，通过Segment测量线段长度，利用If和Slider（如Steps、inside_outside）控制动态变化，并借助Angle、Radius等对象辅助显示角度与半径关系。适合高中几何教学或大学初等几何课程，用于直观验证圆幂定理，帮助学生理解不同位置（圆内、圆外）下线段乘积的规律，也可作为探究性学习或数学实验的素材。

GeoGebra 命令及参数

  1. Intersect(xAxis, yAxis) → A
  2. Point(xAxis) → B
  3. Line(C, B) → a
  4. Circle(A, B) → c
  5. Intersect(c, a, 2) → F
  6. Point(c) → D
  7. If((x(F) > x(D)) ∧ (x(F) < x(B)) ∧ ((y(F) > y(D)) ∨ (y(F) > y(B))), 1, 0) → F_ top
  8. Line(C, D) → b
  9. Intersect(c, b, 2) → E
  10. If((x(E) > x(D)) ∧ (x(E) < x(B)) ∧ ((y(E) > y(D)) ∨ (y(E) > y(B))), 1, 0) → E_ top
  11. If(E_ top + F_ top ≟ 1, 1, 0) → EFone_ top
  12. Segment(D, C) → d
  13. Segment(C, E) → e
  14. If(EFone_ top ≟ 0, Segment[C, F], Segment[C, B]) → g
  15. If(EFone_ top ≟ 0, Segment[C, B], Segment[C, F]) → h
  16. If(EFone_ top ≟ 0, Polygon[D, F, C], Polygon[D, C, B]) → poly1
  17. If(EFone_ top ≟ 0, Polygon[B, C, E], Polygon[C, E, F]) → poly2
  18. Angle(E, C, B) → α
  19. Angle(D, C, F) → β
  20. Angle(C, F, D) → γ
  21. Segment(D, E) → q
  22. Segment(F, B) → r
  23. Segment(D, C) → s
  24. Segment(C, B) → t
  25. Segment(C, E) → a_1
  26. Segment(C, F) → b_1
  27. Radius(c) → radius
  28. If(x(C)^(2) + y(C)^(2) ≤ radius^(2), 1, 0) → inside_ outside
  29. Angle(B, E, C) → δ
  30. Angle(C, D, F) → ε
  31. Angle(E, B, C) → ζ
  32. Angle(E, F, C) → η
  33. Angle(C, D, B) → θ
  34. If(E_ top ≟ 1 ∧ F_ top ≟ 1, 1, 0) → EFboth_ top
  35. If(inside_ outside ≟ 1, CircleArc[A, B, D], If[EFone_ top ≟ 0, If[EFboth_ top ≟ 0, CircleArc[A, E, F], CircleArc[A, F, E]], If[E_ top ≟ 1, If[x(C) < x(E), CircleArc[A, D, F], CircleArc[A, B, E]], If[x(C) < x(F), CircleArc[A, F, D], CircleArc[A, E, B]]]]) → f
  36. If(inside_ outside ≟ 1, Segment[D, F], If[EFone_ top ≟ 0, Segment[D, F], Segment[D, B]]) → i
  37. If(inside_ outside ≟ 1, Segment[E, B], If[EFone_ top ≟ 0, Segment[E, B], Segment[F, E]]) → j
  38. Angle(C, E, F) → ι
  39. Angle(D, B, F) → κ
  40. If(inside_ outside ≟ 1, Segment[D, F], If[EFone_ top ≟ 0, Segment[B, E], Segment[F, E]]) → k
  41. If(inside_ outside ≟ 1, Segment[B, F], If[EFone_ top ≟ 0, Segment[F, B], If[x(C) < x(F), Segment[D, E], Segment[F, B]]]) → m
  42. If(inside_ outside ≟ 1, Segment[B, E], If[EFone_ top ≟ 0, Segment[D, F], Segment[D, B]]) → p
  43. If(inside_ outside ≟ 1, Segment[D, E], If[EFone_ top ≟ 0, Segment[D, E], If[x(C) < x(F), Segment[F, B], Segment[D, E]]]) → n