I am wrong in thinking the circumference or the diameter of a circle has to be rational?

  • thesmokingman@programming.dev
    link
    fedilink
    arrow-up
    2
    ·
    9 months ago

    I don’t know that the common proof by contradiction is even remotely straightforward for this community. Niven’s proof relies on way more shit than you’d expect someone asking the question this way to know. I’m honestly not sure there is a simple proof because even Lambert’s relies on continued fractions.