直角三角形外接圆半径公式r=(a+b-c)/2是怎么推导出来的?