可不可以用“在直角三角形中三十度角所对的直角边等于斜边的一半”的逆定理证某个三角形是直角三角形