边长为20/4=5
角度为180/(1+2)=60和180/(1+2)*2=120
连短对角线,形成的刚好是一个等边三角形
所以短对角线长度是5