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,
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