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

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

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