2015/11/25 by Ushijima, Akira
#FOS: Mathematics #History and Overview (math.HO)
paper · doi:10.48550/arxiv.1512.00339
We point out that the proof of irrationality of π by Niven can be modified to a proof by contraposition. As a warm-up, we also give a proof of irrationality of √(2) and √(3) in a similar way.