山海经补注曰北山经教山教水出焉西流注于河是水冬干而夏流实惟干河郭云今河东闻喜县有干河口但有故沟无复水是也沟今在陜州唐名石壕杜子美有石壕吏诗今名干壕铺按教即殽也秦晋战于殽即此地两山则殽之南北两嵚夏后皋墓文王避雨陵在焉见公羊传
明之曰郡国志弘农郡有陜县又渑池县有二崤河东郡闻喜县注引史记伐韩到干河亦引郭璞云云按今渑池属河南之河南府闻喜属山西之平阳府自闻喜抵渑池陆道四百七十又水经注曰河水过砥柱有崤水注之水出河南盘殽山北流与石崤水合水出石崤山山有二陵孟明覆秦师于此河水又东千崤之水注焉水导于千崤之山北流纒络二道注于河东流贯砥柱触阏流自砥柱以下至五戸三百二十里水流迅急势同三峡又东过平阴县北又东至邓河水又东与教水合教水出河东垣县北教山歴鼓钟川分为二涧一涧西北出一百六十许里今闻喜县东北谷口犹有干河里故沟存焉一水歴鼓钟城西有大泉注涧与教水合伏入石下南至下峡入于河今人犹谓之干涧据此则砥柱之间有崤水有石崤水又有千崤水盖三崤矣三殽之下五六百里始合教水教固非殽也水经注又曰紫谷水出绛县东白马山出紫谷与干河合即教水之枝川也史记白起传涉河取韩安邑东至干河是也证知教水不但潆流闻喜亦绛翼之通波也左传晋人御师必于殽殽有二陵焉其南陵夏后皋之墓北陵文王之所避风雨也公羊掇拾左氏语何休亦不释土地名惟杜预曰殽为弘农渑池县西北道在二殽间谷深委曲两山相嵚正义曰是山俗呼为土殽石殽然则今陜州即汉陜县而子美所云石壕即石殽也杜诗注下圜曰石壕陜东戍也地在新安西即西殽也差为得之殽渑盖晋邉邑故吕氏春秋三帅曰使臣东邉■〈目留〉晋之道且秦师惟摩晋境过周袭郑故栾枝议欲勿伐而先轸阻之于隘若至闻喜则压晋都冦实深矣晋得纵敌乎