The figure below shows a square ABCD inscribed in a circle of center Q and a right triangle AED (angle AED = 90 degrees) with inradius r. If r1 is the radius of a circle tangent to AE, ED, and arc AD, prove that r1 = r.sqrt(2).
Click on the figure below.