› added 4 years ago
42
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