1. (2022·平遥模拟) 公元263年，我国数学家利用“割圆术”计算圆周率．割圆术的基本思想是“割之弥细，所失弥少，割之又割，以至于不可割，则与圆周合体，而无所失矣”．随后，公元480年左右，我国另一位数学家又进一步得到圆周率精确到小数点后7位，由此可知，这两位数学家依次为（    ）