1 三国志卷一　魏书一　　武帝纪第一 第98段
　　三月，公西征张鲁，至陈仓，将自武都入氐；氐人塞道，先遣张合、朱灵等攻破之．夏四月，公自陈仓以出散关，至河池．氐王窦茂觽万余人，恃险不服，五月，公攻屠之．西平、金城诸将麴演、蒋石等共斩送韩遂首．[一]秋七月，公至阳平．张鲁使弟韂与将杨昂等据阳平关，横山筑城十余里，攻之不能拔，乃引军还．贼见大军退，其守备解散．公乃密遣解　、高祚等乘险夜袭，大破之，斩其将杨任，进攻韂，韂等夜遁，鲁溃奔巴中．公军入南郑，尽得鲁府库珍宝．[二]巴、汉皆降．复汉宁郡为汉中；分汉中之安阳、西城为西城郡，置太守；分锡、上庸郡，置都尉．