【介绍】： 清浙江海宁人，字元之，号换吾。陈诜子。康熙五十四年进士。事母以孝闻。精研数学。有《少广补遗》。