管仲、隰明①从桓公伐孤竹②，春往冬返，迷途失道。管仲曰：“老马之智可用也。”乃放老马而随之，遂得道。
行山中无水，隰明曰：“蚁冬居山之阳，夏居山之阴，蚁壤一寸而仞而水③。”乃掘地，遂得水。
［注］①管仲、隰（xí）明：两人都是齐桓公的大臣。②孤竹：指孤竹国，在今河北卢龙。③蚁壤一寸而仞有水：据说蚁封（蚁穴周围防雨水的高出地面的浮土）高一寸，其下八尺之下便有水。
解释下面句中划线的词。
①从桓公伐孤竹：________________________________________。
②蚁冬居山之阳：________________________________________。
翻译。
春往冬返，迷途失道。
短文的前一段是一个成语的出处，请写出该成语。