Abul Wáfa et la trigonométrie

Le mathématicien et astronome persan Abul Wafa est né le 10 juin 940.
En mathématiques, il a établi les identités trigonométriques suivantes :
sin(a + b) = sin(a)cos(b) + cos(a)sin(b)
cos(2a) = 1 - 2sin²(a)
sin(2a) = 2sin(a)cos(a)
En astronomie, il a développé la trigonométrie sphérique et a découvert la formule des sinus en géométrie sphérique (qui a une similitude avec la loi des sinus).