The Addition Formula for Sine and Cosine: Geometric Proof and Illustration

The Addition Formula for Sine and Cosine: Geometric Proof and Illustration
Loading the math board and drawing, please wait…
2014-04-10 06:07
This GeoGebra example provides a dynamic geometric proof and illustration of the addition (and subtraction) formulas for sine and cosine. It demonstrates how the identities sin(α±β) and cos(α±β) arise from the rotation of points on the unit circle and the projection of coordinates. The construction uses a Circle to define the unit circle, Point and Intersect to place key vertices, Line, OrthogonalLine, and Segment to build auxiliary right triangles, and Angle to mark the involved angles α, β, and their combinations. Midpoint and Text objects are used to label segments and display the derived relationships. The example emphasizes geometric construction and transformation (rotation, translation) as a visual proof tool. It is suitable for high school or introductory college students learning trigonometric identities, and serves as an interactive classroom demonstration to bridge geometric intuition and algebraic formulas.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a unit circle centered at the origin on a coordinate plane. Place two points on the circle, and connect each to the center with a radius. Let the angle from the positive x-axis to the first radius be α, and the angle between the two radii be β. From the point on the circle corresponding to the first radius, drop a perpendicular to the second radius, and from that foot, drop another perpendicular to the x-axis. Connect the relevant points to form right triangles. Mark the angles α, β, α+β, and the acute angles of the triangles. Also drop a perpendicular from the circle point to the y-axis, mark its foot, and connect midpoints of key segments to illustrate coordinate projections. The figure demonstrates the geometric proof of sine and cosine addition formulas.
The prompt above was compiled from the original drawing commands and is for reference only.