Solution: The tangent of $ 45^\circ $ is defined as $ \frac\sin 45^\circ\cos 45^\circ = \frac{\frac{\sqrt2}2}{\frac{\sqrt2}2} = 1 $. - AIKO, infinite ways to autonomy.