能用HL定理证明三角形是直角三角形么