一直角三角形的一条直角边的长减少