有一个角是75度的直角三角形的个边长比例是多少?