三角形ABC中,若C=90度 则三边(a+b)/c=2^(1/2) cos((A-B)/2)