"直角三角形30°所对的边等于斜边的一半"有逆定理吗?