soaprootThe smallest positive real whose cosine is one is two times the smallest positive real whose sine is zero. Proved from axioms of IZF set theory via constructing reals, convergence and notation for infinite series, the exponential function, continuity, and the monotone intermediate value theorem. https://us.metamath.org/ileuni/taupi.html #PiDay #HalfTauDay #HalfTau #constructiveMathematics
august
PepijnVemer
Guru MeditationHappy half-Tau day! In honour of the half-circle constant, why not enjoy your favourite half-circle, like a calzone or a folded omelette.
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
l'empathie mécaniqueHappy Half-circle-constant day!
It's a perfect reminder to consider yet again cleaning up your standards.
Month-day-year date formats, imperial units and, yes, silly circle measures.
