《汉书・地理志上》：「上党郡……户七万三千七百九十八，口三十三万七千七百六十六。县十四……陭氏、阳阿、谷远。」
北魏 郦道元《水经注・沁水》：「出上党 涅县 谒戾山……南过谷远县东，又南过陭氏县东。」
北魏 郦道元《水经注・沁水》：「沁水又南迳陭氏县故城东。」