唐时人,号丹元子,又号青罗山布衣。玄宗开元年间以方技为内供奉,待诏翰林。尝奉命编《太乙金镜式经》。又撰《丹元子步天歌》一卷。该书七言,有韵,系我国古代以诗歌形式介绍全天星官之天文学重要著作。首创将整个天空划分为三垣二十八宿,共三十一个天区。每区包含若干星官、数量、位置。
丹元子步天歌 其四 北方七宿
王希明 〔唐代〕
虚,上下各一如连珠。命禄危非虚上呈,虚危之下哭泣星。
哭泣双双下垒城,天垒团圆十三星。败臼四星城下横,臼西三个离瑜明。
丹元子步天歌 其二 东方七宿
亢,四星恰如弯弓状。大角一星直上明,折威七子亢下横。
大角左右摄提星,三三相似如鼎形。折威下左顿顽星,两个斜安黄色精。
顽下二星号阳门,色若顿顽直下
顽下二星号阳门,色若顿顽直下𨀛。