直角三角形外接圆半径等于()的一半