In a right triangle ABC (see the figure below)
with circumcircle Q, the incircle O (radius r) is tangent to AB, BC,
and AC at D, E, and
F, respectively. Circle O_{1} (radius x) is
tangent to AB, BC and arc AC at H, M, N, respectively. Prove that
x = 2r = a + c  b.
