在有一个角是30°的直角三角形中,斜边是哪个直角边的2倍?