直角三角形的一个角等于30度斜边长4用四个这样的三角形围成一个正方形,里面也有一个,求里面的边长.