Since the angle sum of a triangle is 180 degrees
180^{\circ} = \angle BAC + \theta + 45^{\circ}
135^{\circ} - \theta = \angle BAC
Using the sine rule:
\frac{AC}{\frac{1}{\sqrt{2}}} = \frac{\sqrt{2}}{\sin(135^{\circ} - \theta)}
Since this is Extension 1, we can expand the sine function...