一个三角形的三个内角之比为1:2:5,最大边为20,求最小边的大小?