HN Reader

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!

    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.

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.

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...

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.

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.

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

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.

Happy to see someone else who watches Michael Penn videos.