sin(A+B)=sinAcosB+cosAsinB
cos(A+B)=cosAcosB−sinAsinB
먼저 A,B 가 예각이라는 가정 하고 A+B 가 각각 예각인 경우와 둔각인 경우에 대해서 위 공식을 증명해 보자.

그림 (a)는 A+B가 예각인 경우를, 그림 (b)는 A+B 가 둔각인 경우를 보여준다.
그림 (a)에서 ∠QPR=∠QPO−∠OPM=(90o−B)−(90o−(A+B))=A
그림 (b)에서 ∠QPR=∠QPO+∠OPM=(90o−B)+(90o−(180o−(A+B)))=A
따라서 sin(A+B)=OPMP=OPMR+RP=OPNQ+RP=OPNQ+OPRP=OQNQ⋅OPOQ+PQRP⋅OPPQ=sinAcosB+cosAsinB
또한 cos(A+B)=OPOM=OPON−MN=OPON−RQ=OPON−OPRQ=OQON⋅OPOQ−PQRQ⋅OPPQ=cosAcosB−sinAsinB
위 공식이 A=B=0o 일 때 성립하는 것을 보이는 것은 어려운 일이 아니다.
예각이 아닌 일반적인 각들에 대해서도 성립함을 다음 처럼 보일 수 있다.
sin((A+90o)+B)=sin((A+B)+90o)=cos(A+B)=cosAcosB−sinAsinB=sin(A+90o)cosB+cos(A+90o)sinB
sin((A−90o)+B)=sin((A+B)−90o)=−cos(A+B)=−(cosAcosB−sinAsinB)=(−cosA)cosB+sinAsinB=sin(A−90o)cosB+cos(A−90o)sinB
sin((A−90o)+B)=sin((A+B)−90o)=−cos(A+B)=−(cosAcosB−sinAsinB)=(−cosA)cosB+sinAsinB=sin(A−90o)cosB+cos(A−90o)sinB
B 대신 −B 를 대입하여 다음을 얻을 수도 있다.
sin(A−B)=sinAcosB−cosAsinB
cos(A−B)=cosAcosB+sinAsinB
탄젠트의 덧셈정리는 tanθ=cosθsinθ 임을 이용하여 다음과 같이 보일 수 있다.
tan(A+B)=cos(A+B)sin(A+B)=cosAcosB−sinAsinBsinAcosB+cosAsinB=cosAcosBcosAcosB−cosAcosBsinAsinBcosAcosBsinAcosB+cosAcosBcosAsinB=1−tanAtanBtanA+tanB
역시 B 대신 −B 를 대입하면 다음을 얻을 수 있다.
tan(A−B)=1+tanAtanBtanA−tanB