已知 rt三角形abc和Rt三角形ABC重合