已知Rt三角形ABC中,角C=90,CA=a,CB=b,求AF的长度