Circles and Pythagoras

I've not used Geogebra for a while - I forgot how fun it is!

This is similar to a problem from many sources, such as this excellent University of Georgia article