《汉书·地理志上》：“上党郡 ……户七万三千七百九十八，口三十三万七千七百六十六。县十四…… 陭氏、阳阿、谷远。”

北魏 郦道元 《水经注·沁水》：“出 上党 涅县 谒戾山 ……南过 谷远县 东，又南过 陭氏县 东。”

北魏 郦道元 《水经注·沁水》：“沁水 又南迳 陭氏县 故城东。”