Rt三角形ABC中，角C=90度，内切圆O与三边切于点D，E，F，设Rt三角形ABc外接圆半径为R