Sal proves the identity cos(x+y) = cos(x)*cos(y) - sin(x)*sin(y).
License: CC BY-NC-SA by Khan Academy