元子攸(507—531年),即北魏孝庄帝,字彦达,河南洛阳人。北魏王朝第十位皇帝(528~530年在位),献文帝拓跋弘之孙,孝文帝元宏之侄,彭城武宣王元勰第三子,母为李媛华。武泰元年(528年),孝明帝元诩遇鸩而驾。尔朱荣兵向洛阳,图谋废立,以元勰家族为忠勋民望,遂拥立元子攸为皇帝,年号建义。不久,发动河阴之变,讨平葛荣、邢杲和元颢叛乱。永安三年(530年),诱杀权臣尔朱荣和元天穆。之后,尔朱兆攻破洛阳,将元子攸受掳北上,缢杀于晋阳三级佛寺,时年二十四。太昌元年(532年),追尊庙号敬宗,谥号孝庄皇帝。
得西山后八日,寻山口西北道二百步,又得钴鉧潭。西二十五步,当湍而浚者为鱼梁。梁之上有丘焉,生竹树。其石之突怒偃蹇,负土而出,争为奇状者,殆不可数。其嵚然相累而下者,若牛马之饮于溪;其冲然角列而上者,若熊罴之登于山。
丘之小不能一亩,可以笼而有之。问其主,曰:“唐氏之弃地,货而不售。”问其价,曰:“止四百。”余怜而售之。李深源、元克己时同游,皆大喜,出自意外。即更取器用,铲刈秽草,伐去恶木,烈火而焚之。嘉木立,美竹露,奇石显。由其中以望,则山之高,云之浮,溪之流,鸟兽之遨游,举熙熙然回巧献技,以效兹丘之下。枕席而卧,则清泠之状与目谋,瀯瀯之声与耳谋,悠然而虚者与神谋,渊然而静者与心谋。不匝旬而得异地者二,虽古好事之士,或未能至焉。
噫!以兹丘之胜,致之沣、镐、鄠、杜,则贵游之士争买者,日增千金而愈不可得。今弃是州也,农夫渔父,过而陋之,贾四百,连岁不能售。而我与深源、克己独喜得之,是其果有遭乎!书于石,所以贺兹丘之遭也。