命题“在直角三角形中如果一条直角边等于斜边的一半,那么这条直角边所对的锐角等于30°是真命题吗?请证