Odpowiedź:
Pierwszy pozwala przekształcić miarę radianu w stopnie.
# (11 * pi) / 8 = 110 # stopnie (nie jest to obowiązkowe, ale czuję się dobrze w stopniach niż rozwiązywać w radianach, więc się nawróciłem)
Wyjaśnienie:
#cos (110) #
#impliescos (90 + 30) #
# impliescos90cos30-sin90sin30 # (Zastosowanie tożsamości cos (a + b))
#implies (1 * sqrt (3) / 2) - (0 * 1/2) #
#impliescos (110) = sqrt (3) / 2 #
#lub#
#impliescos ((11 * pi) / 8) = sqrt (3) / 2 #