如何证明一个角为30度,此角的对边为一个邻边的一半的三角形为直角三角形

采用反证法证明这道问题：已知三角形ABC,AB为斜边,BC=AB/2,∠BAC=30o。反证法,假设∠ACB≠90o,那么在AC延长线上存在另一点D,使得∠ADB=90o,则,在直角三角形ADC中30o角的对边为斜边的一半,即是BD=AB/2。又因为一点到直线的垂直线段长度最短,且交点唯一。那么C与D应重合,∠ADB=∠ACB=90o。三角形ABC为直角三角形。证毕。