一直角三角形一直角边边长为13mm直角短边对着的角为4度求直角短边边长