Trigonometry

Sine and cosine
sin(a)^2+cos(a)^2 = 1
Find   It is known that:
      =   

Tangent
tg(a) = sin(a) / cos(a)
Find   It is known that:
      =   

Cotangent
ctg(a) = cos(a) / sin(a)
Find   It is known that:
      =   

Product of tangent and cotangent
tg(a) * ctg(a) = 1
Find   It is known that:
      =   

Tangent and cosine
1 + tg(a)^2 = 1 / cos(a)^2
Find   It is known that:
      =   

Cotangent and sine
1 + ctg(a)^2 = 1 / sin(a)^2
Find   It is known that:
      =   

Sine of sum of angles
sin(a + b) = sin(a)cos(b) + cos(a)sin(b)
Find   It is known that:
      =   

Sine of difference of angles
sin(a - b) = sin(a)cos(b) - cos(a)sin(b)
Find   It is known that:
      =   

Cosine of sum of angles
cos(a + b) = cos(a)cos(b) - sin(a)sin(b)
Find   It is known that:
      =   

Cosine of difference of angles
cos(a - b) = cos(a)cos(b) + sin(a)sin(b)
Find   It is known that:
      =   

Tangent of sum of angles
tg(a + b) = (tg(a) + tg(b)) / (1 - tg(a) * tg(b))
Find   It is known that:
      =   

Tangent of difference of angles
tg(a - b) = (tg(a) - tg(b)) / (1 + tg(a) * tg(b))
Find   It is known that:
      =   

Sine of double angle
sin(2a) = 2sin(a)cos(a)
Find   It is known that:
      =   

Cosine of double angle
cos(2a) =cos(a)^2 - sin(a)^2
Find   It is known that:
      =   

Cosine of double angle
cos(2a) =1 - 2*sin(a)^2
Find   It is known that:
      =   

Cosine of double angle
cos(2a) = 2*cos(a)^2 - 1
Find   It is known that:
      =   

Tangent of double angle
tg(2a) = 2 tg(a) / (1 - tg(a)^2)
Find   It is known that:
      =   

Cotangent of double angle
ctg(2a) = (1 - tg(a)^2) / (2 tg(a))
Find   It is known that:
      =   

Cotangent of double angle
ctg(2a) = (ctg(a) - tg(a)) / 2
Find   It is known that:
      =   

Sum of sines (sum to product)
sin(a) + sin(b) = 2 sin((a+b)/2) cos((a-b)/2)
Find   It is known that:
      =   

Difference of sines (difference to product)
sin(a) - sin(b) = 2 cos((a+b)/2) sin((a-b)/2)
Find   It is known that:
      =   

Sum of cosines (sum to product)
cos(a) + cos(b) = 2 cos((a+b)/2) cos((a-b)/2)
Find   It is known that:
      =   

Difference of cosines (difference to product)
cos(a) - cos(b) = - 2 sin((a+b)/2) sin((a-b)/2)
Find   It is known that:
      =   

Product of sine and cosine
sin(a)cos(b) = 1/2 * (sin(a - b) + sin(a + b))
Find   It is known that:
      =   

Product of sines
sin(a)sin(b) = 1/2 * (cos(a - b) - cos(a + b))
Find   It is known that:
      =   

Product of cosines
cos(a)cos(b) = 1/2 * (cos(a - b) + cos(a + b))
Find   It is known that:
      =   

Power reduction for sine
sin(a)^2 = (1 - cos(2a)) / 2
Find   It is known that:
      =   

Power reduction for cosine
cos(a)^2 = (1 + cos(2a)) / 2
Find   It is known that:
      =