The document summarizes trigonometric addition formulas and related formulas. It provides proofs of the formulas using properties of coordinates on the unit circle. Specifically, it proves formulas for cosine, sine, and tangent of the sum or difference of two angles α and β using the x-y coordinates of points on two superimposed unit circles with angles of α, β, α+β, and -β.