半圆提供了共同的直角三角形关系,所以两个半径由两条直角边 a,ba,ba,b 控制。
设 X,YX,YX,Y 为 γ2,γ3\gamma_2,\gamma_3γ2,γ3 与 ABABAB 的切点。利用半圆构成的直角三角形计算得 r2=a−a2/cr_2=a-a^2/cr2=a−a2/c;对称地 r3=b−b2/cr_3=b-b^2/cr3=b−b2/c。由于 c2=a2+b2c^2=a^2+b^2c2=a2+b2,两者之和化为 a+b−c=2r1a+b-c=2r_1a+b−c=2r1。