可以用HL直接证两个直角三角形相似吗?