pull down to refresh
Ah, yes!

The two green have equal lengths.
Hence, the angles in the bottom right corner must be equal.
They both add up to 45°, because the triangle is right-isosceles, hence they are .
Now the inscribed angle theorem says .
Therefore,
reply
I have which also if I'm not mistaken.
Your expression is even simpler.
Good job :)
A GitHub PR for collapsable answers is on its way in next few days. We'll be able to hide spoilers which should increase the fun factor.
reply
I need to spend some time myself analyzing your answers, but for θ, the inscribed angle theorem should help.