《史记·商君列传》：“ 秦 发兵攻 商君 ，杀之於 郑 黽池。”
司马贞 索隐：“ 郑 黽池 者，时 黽池 属 郑 故也。”
《汉书·地理志上》：“ 宜阳 ，在 黽池 有铁官也。 黽池 ， 高帝 八年復 黽池 中乡 民。 景帝 中二年初城，徙万家为县。”