积极 AI Logo 积极 AI

Rolle定理的图形演示与切线构造

Rolle定理的图形演示与切线构造
几何画板及绘图内容加载中，请稍等……
2025-02-16 17:43
函数微积分导数几何作图函数图像
该范例通过在同一区间内构造一个函数曲线，直观看到：当端点处函数值相等且在区间内连续、可导时，曲线必存在至少一点其导数为零（水平切线）。其核心数学概念包括：Rolle定理（零点与驻点的联系）、导数为零对应切线斜率为0、以及用辅助几何对象刻画曲线的切线与交点。作图要点可从构造摘要提炼出使用了 Line（直线）、Intersect（求交点）、Roots（求根/交点对应的零值位置）、Tangent（切线）、Circle（辅助圆/几何约束）、Segment（线段）以及 Min/Max（最值）、对应对象如 f、t、mn、mx、h、h′、l、m 与各类交点/参数标记（如 A/B/ C 等用于标注关键位置）。适合用于高中进阶微积分入门、微积分课程中的导数与定理可视化教学，也适合教学演示与自学验证Rolle定理结论。

GeoGebra 命令及参数

  1. Line(B, xAxis) → g
  2. Intersect(f, g, 1) → A
  3. Min(l1) → mn
  4. Max(l1) → mx
  5. Roots(h') → C, D, E
  6. Tangent(F, h) → i
  7. Tangent(G, h) → j
  8. Tangent(H, h) → k
  9. Circle(G, 1) → q_{1}
  10. Intersect(k, xAxis) → N
  11. Circle(F, rd) → p_{1}
  12. Circle(G, rd) → s_{1}
  13. Circle(H, rd) → t_{1}
  14. Intersect(p_{1}, i) → I, J
  15. Intersect(s_{1}, j) → K, L
  16. Intersect(t_{1}, k) → M, O
  17. Intersect(j, k) → P
  18. Intersect(k, i) → Q
  19. Segment(I, J) → l
  20. Segment(K, L) → m
  21. Segment(M, O) → n
  22. Segment(A, R) → b
  23. Segment(B, S) → c

AI 绘图提示语参考

绘制一条定义在闭区间上的可微函数曲线，其两端点函数值相等。在区间内构造一条水平直线，与曲线相交得到端点。找出函数的最小值和最大值点，并标记导数等于零的根，即曲线上的水平切线点。在这些关键点处分别作曲线的切线，并绘制以这些点为圆心、相同半径的辅助圆，圆与切线相交形成交点。连接这些交点形成线段，同时连接端点与区间外的两个辅助点，构成完整的几何示意图，直观展示罗尔定理中至少存在一个水平切线的结论。
以上提示语为根据原始绘图命令整理而来，仅供参考。