Geometric Proof of the Cosine of Sum Formula

This GeoGebra applet provides a comprehensive and interactive geometric proof of the cosine of a sum formula, specifically demonstrating that cos(α + β) = cos(α)cos(β) - sin(α)sin(β). While students often memorize this fundamental trigonometric identity algebraically, this applet bridges the gap between abstract algebra and concrete geometry, offering a profound visual understanding of why the formula holds true. At the core of the applet is a dynamic geometric construction centered around a circle. Users are presented with interactive sliders that allow them to adjust the measures of angles α and β independently. As these angles change, the applet dynamically updates a series of line segments, perpendicular projections, and right triangles. The construction meticulously breaks down the combined angle into its constituent geometric components. By dropping orthogonal lines to the axes and constructing specific right triangles, the applet visually isolates the four distinct terms of the cosine addition formula. The proof relies heavily on the properties of congruent triangles and geometric transformations, particularly rotations. The applet highlights how the horizontal projection of the terminal side of the combined angle can be decomposed into two smaller segments. Through color-coding and dynamic labeling, students can clearly see that one segment corresponds to the product cos(α)cos(β) and the other to sin(α)sin(β). The geometric transformations visually prove that these specific triangle sides are congruent to the projections derived from the individual angles, thereby validating the subtraction in the formula. For students, this interactive environment transforms a static textbook proof into an engaging exploration. Instead of passively reading a sequence of logical steps, learners can manipulate the angles, observe the continuous variation of the geometric shapes, and verify the identity for acute, obtuse, and even negative angles. This hands-on interaction fosters deep conceptual understanding and helps dispel common misconceptions about trigonometric functions. For educators, the applet serves as an exceptional teaching aid for high school precalculus or college-level trigonometry courses. It can be used to introduce the addition formulas, reinforce the geometric definitions of sine and cosine on the unit circle, and demonstrate the power of geometric proofs in establishing algebraic identities. By making the invisible relationships between angles and side lengths visible, this GeoGebra applet is an invaluable resource for cultivating mathematical intuition and rigorous analytical thinking.