八万里，以此为股，以一万五千里为勾，应用已知的勾股求弦法，测出日距阳城（今河南登封）为八万一千三百九十四里三十步五尺三寸五分，再以阳城为中心，以阳城与日距离为半径，算出周天长度。他采用的圆周率为π=3.155，与刘徽的“徽率”（π=3.1416）、南朝祖冲之的“祖率”（π=3.1415926与3.1415927之间）很相近，为中国天文学的数学作出了可贵的贡献。