만약 에 삼각형 의 한 각 이 30 도 이 고 한 각 의 대응 변 이 다른 쪽 의 절반 이 라면 이 삼각형 은 직각 삼각형 입 니까?

만약 에 삼각형 의 한 각 이 30 도 이 고 한 각 의 대응 변 이 다른 쪽 의 절반 이 라면 이 삼각형 은 직각 삼각형 입 니까?

예,
이것 은 마치 정리 인 것 같다.
중학교 교과서 에서