用其他的方法证明全等直角三角形,那个三角形又不用写成RT三角形?