证明:三角形的一个锐角为30°,他的对边等于最长边的一半的是有30°角的直角三角形