斜边和斜边上的高对应相等的两个直角三角形是否一定全等,并证明