在Rt三角形ABC中,角C=90度,角A,角B,角C的对边分别是a,b,c,则下列式一定成立的