Тригонометрия • Как решить tan(pi/8) по формуле половинного угла?

tan(pi/8) = (1 - cos(pi/4)) / sin(pi/4)

= (1 - √2/2) / √2/2

В ключе ответа к заданию указано, что ответ √2 - 1.

Как мне добраться до этого ответа?