The smallest positive real whose cosine is one is twice the smallest positive real whose sine is zero. https://us.metamath.org/mpeuni/taupi.html . Happy Half Tau Day! #mathstodon #PiDay #HalfTauDay #math
#mathstodon #piday #halftauday #math
Stand-up Maths
Using an Out-of-Control Car to Calculate π.
https://www.youtube.com/watch?v=_ZbUyS2IRMo
#standupmaths #halftauday #piday