郭守敬
where is the length of the arc; this formula was known to the Chinese mathematician Shen Kuo, and a more accurate formula also involving the sagitta was developed two centuries later by Guo Shoujing.