重显子，单州琴台人。陈其姓，道益其名，重显子其号也！……金大定年间，全真教方行，子闻而悦之，……行化诸方。抵武川与圣人丘公长春遇，公告曰：天下名山洞府，非有道者孰能与世？传大恒之左麓，常为抱朴子栖隐，因名葛洪山，观木石□秀，泉□沃冽，四时之气，清而煦，或者其然呼？往哉，汝宜至……。夫全真之教兴，由正隆以来，仅百余载，……今东尽海，南薄汉淮，西北历广漠，虽十庐之聚，必有香火一席之奉……

    据史料记载，在丘处机“立观度人”宗旨下，金大定（1161～1189）间，陈道益由马钰之徒灵真子李大乘引度为道士。后又师事丘处机，经丘处机指点住持葛公山，山居六年，修建庵观至百所，自居清虚宫。徒学愈众，所度弟子逾千人。其中以高志筌、史志筌、赵志完等为著名。天兴元年（1232年）卒，年八十一，赐号洞虚真人。