一个角是30度（另一角为60）的直角三角形,其直角边中短边长为斜边一半.这样的证明题里括号里面如何表达

题目

一个角是30度（另一角为60）的直角三角形,其直角边中短边长为斜边一半.这样的证明题里括号里面如何表达
我知道证明过程,但是这样的题似乎可以直接用这个定理来证,我想知道在写证明题 括号里面的理由 时怎么表述,希望得到准确答案,考试说不定会用到.

答案

因为这个直角三角形的一个角为30°,所以,根据定理,30°所对的直角边等于斜边的一半.所以AB（代表30°多对的直角边）等于1/2CD（斜边）.