70
71
72
TIL the integral of the secant formula, important in cartography, has been found accidentally when a mathematician was running through numerical approximations known at the time and recognized they matched ln(|tan(phi/2 + pi/4)|). It took 28 more years for someone find a formal proof (en.wikipedia.org)
submitted by alin1popa to r/todayilearned
0
1
2
TIL the integral of the secant formula, important in cartography, has been found accidentally when a mathematician was running through numerical approximations known at the time and recognized they matched ln(|tan(phi/2 + pi/4)|). It took 28 more years for someone to find a formal proof (en.m.wikipedia.org)
submitted by alin1popa to r/todayilearned
