pull down to refresh

Previous iteration: #739914 (answer in #739973)
Please let me know if you prefer harder or easier problems. I cannot satisfy everyone with every puzzle but I can at least try to alternate difficulties.
Is there a unique solution? This is as far as I got
reply
I got
which seems to be equivalent.
appears to be 3*45°, but I don't know why.
Is twice , the arc length?
reply
I didn't read it that way, but I was wondering if the fact that the triangle is right-isosceles imposes some kind of additional condition that lets us find .
Don't really have the time to work it further right now though. Geometry isn't really my forte.
reply
I need to spend some time myself analyzing your answers, but for , the inscribed angle theorem should help.
reply
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 don't have the bandwidth for this one today, but I do like the harder puzzles.
I'll circle back to check on other people's solutions.
reply
deleted by author