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

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