有一个角是30度的直角三角形的边的性质是____________________