这是用的初中几何什么定理?

问题描述:

这是用的初中几何什么定理?
直角三角形30度角的对边长度的2倍等于斜边的长度

等角对等边