from Hacker News

A joke in approximating numbers raised to irrational powers

by nomemory on 11/18/24, 4:41 PM with 41 comments

  • by sevensor on 11/19/24, 6:13 PM

        sin x = x
    Half the problems in EE become trivial once you learn this. Sometimes the universe does a bad job of complying with the approximation though.

  • by parsimo2010 on 11/18/24, 4:40 PM

    After following the correct link from @nomemory in the comments, this is good for a bit of a chuckle once you see the formula. If you can evaluate the formula you probably have a calculator or computer on hand and could compute the original value to double precision (I'm not even sure that the approximation would compute faster, but I didn't benchmark it).

    But even though the approximation has no value in a real world application, the description of getting to the approximation is really good. I've never heard of Pade approximations before, and I liked the lead in from small angle approximations and Taylor series. I'd say this post is accessible to (and can be appreciated by) advanced undergraduates in engineering or math or comp sci.

  • by jbmsf on 11/19/24, 8:54 PM

    Happy to see someone else who watches Michael Penn videos.

  • by NameError on 11/18/24, 4:34 PM

    Reminds me of a cool proof I saw recently that there are two numbers a and b such that a and b are both irrational, but a^b is rational:

    Take sqrt(2)^sqrt(2), which is either rational or not. If it's rational, we're done. If not, consider sqrt(2) ^ (sqrt(2) ^ sqrt(2)). Since (a^b)^c = a^bc, we get sqrt(2) ^ (sqrt(2))^2 = sqrt(2)^2 = 2, which is rational!

    It feels like a bit of a sleight of hand, since we don't actually have to know whether sqrt(2)^sqrt(2) is rational for the proof to work.

  • by enugu on 11/19/24, 7:04 PM

    One interesting result implies that numbers like 3^(sqrt(3)) will be transcendental (ie no polynomial will evaluate them to 0).

    https://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theo...

  • by nightpool on 11/18/24, 4:39 PM

    Kinda weird that we don't get a graph for the final "solution"? I was looking forward to seeing how it compared to the other plots!

  • by Miniminix on 11/22/24, 2:11 AM

    Secondly, I remember watching a few months ago a video from Michael Penn, about something called Padé Approximations: Pade Approximation – unfortunately missed in most Caclulus courses. It was a subject worth exploring.

  • by xdavidliu on 11/18/24, 4:32 PM

    for a second I thought 404 was the joke. Tried thinking hard for maybe 10 seconds to figure out why it was the joke, but then realized it was not.

  • by 0xml on 11/21/24, 5:42 AM

    pi^4+pi^5=e^6 lol