甲乙丙三人合修一条公路,甲修的长度是乙和丙修的长度之和