直角三角形中30°的角所对的边是斜边的一半的定理对不对