>>406
R+r=OO'=xとおくと、OO'を斜辺とする直角2等辺三角形ができるから、2*(10-x)^2=x^2、x^2-40x+200=0、x=10(2-√2)