积极 AI Logo 积极 AI

余弦差角公式的几何证明

余弦差角公式的几何证明
几何画板及绘图内容加载中，请稍等……
2014-04-04 23:53
圆角函数三角函数几何作图
本范例通过几何作图直观演示并严格证明余弦差角公式cos(u−v)=cos u·cos v−sin u·sin v。构造过程综合运用交点、圆、点、线段、正交线、角度、圆弧、中点等GeoGebra命令，在单位圆上刻画两个角u和v的几何关系，利用图形面积或线段长度关系推导公式。该范例适合高中三角函数教学、学生自主探索公式本质、课堂互动演示，帮助学习者直观理解三角恒等式的几何渊源，避免机械记忆。

GeoGebra 命令及参数

  1. Intersect(xAxis, yAxis) → A
  2. Circle(A, B) → c
  3. Point(c) → C
  4. Segment(A, C) → a
  5. Point(c) → D
  6. Segment(A, D) → b
  7. Segment(A, B) → d
  8. OrthogonalLine(C, d) → e
  9. Intersect(e, d) → E
  10. Angle(B, A, C) → v
  11. Angle(B, A, D) → u
  12. Angle(C, A, D) → w
  13. OrthogonalLine(D, xAxis) → g
  14. OrthogonalLine(D, a) → h
  15. Intersect(g, xAxis) → G
  16. Intersect(g, d) → I
  17. Segment(A, G) → i
  18. OrthogonalLine(G, a) → j
  19. Intersect(a, j) → K
  20. Segment(A, K) → k
  21. Segment(G, D) → l
  22. OrthogonalLine(G, h) → m
  23. Intersect(h, m) → L
  24. Segment(G, L) → n
  25. Intersect(a, h) → F
  26. Segment(A, F) → p
  27. Angle(G, D, L) → α
  28. Segment(G, K) → q
  29. Segment(L, F) → r
  30. Angle(D, G, A) → β
  31. Angle(D, L, G) → γ
  32. Angle(A, K, G) → δ
  33. CircleArc(A, B, C) → f
  34. Segment(L, D) → s
  35. CircleArc(A, C, D) → t
  36. CircleArc(A, B, D) → c_1
  37. Midpoint(D, G) → H
  38. Midpoint(A, G) → J