已知△ABC中∠C=90 三边长为a b c,r为内切圆半径求证r=0.5(a+b-c);r=ab/a+b+c