直角三角形一条腰为4,这腰与底边成45度角,则这梯形另一腰的长为?