《尚书禹贡》“壶口雷首，山有九名，即产阳山、首山、独头山、襄山、尧山、薄山、中条山、阳山、并雷首为九也”。

《禹贡》：壶口、雷首。即是山也。

《左传》：赵宣子田于首山。

汉武帝元封六年，置晋山宫于此，诏曰：朕礼首山，昆田出珍玉，或化为黄金。应劭曰：昆田，首山下田。

《括地志》：“此山西起雷首，东至吴坂长数百里，随地异名”。

《通典》“雷首，在河东县，此山凡有八名，历山、首阳山、薄山、襄山、甘枣山、中条山、渠猪山、独头山也。”“又名吴山、蒲山”。