直角三角形中,30°的锐角所对的直角边等于斜边的一半,请问是哪里学的?初中几年级,还是高中几年级?