天山天池的名称由来？

天池古称“瑶池”，地处天山博格达峰北侧，位于阜康市南偏东40余公里，距乌鲁木齐市110公里。“天池”一词，来自乾隆48年（1783年）乌鲁木齐都统明亮（乾隆侄女婿）的题《灵山天池疏凿水渠碑记》，他在碑记中说，“见神池浩渺，如天镜浮空”，因此，后人将这个天然的高山湖泊称为“天池”。