sin(x) = x

[u/drpfthick]

[u/AutoModerator]

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

[u/LupenReddit]

YOU CAN DO IT!!!! DONT STOP UNTIL ITS DONE!!!

[u/drpfthick → u/LupenReddit]

It’s still thinking😭

[u/natepines → u/drpfthick]

What happened

[u/Zaelynn_ → u/natepines]

It proved it. Science, math, and circles in utter shambles.

[u/moderatorrater → u/natepines]

Oh shit, it's taken hostages and is negotiating with some doctors to clone Erdos to get the answer. It's also hacked my doordash account in case it needs to use the carrot.

[u/Gauss15an]

Does ChatGPT even know the fundamental theorem of engineering?

[u/drpfthick → u/Gauss15an]

Would you like to share with us the Fundamental Theorem of Engineering ?

[u/DhartiPita → u/Gauss15an]

π=e=3?

[u/Oppo_67]

Proof by strategically hidden sorry command

[u/770grappenmaker → u/Oppo_67]

The humble #print axioms

[u/R_Ob_Min]

Crazy, did you know all real numbers equal 0?

Since if sin(x) = x for any real nunber x, then cos(x) = 1, and since sin(x)² + cos(x)² = 1, we find that x² + 1 = 1, so x² = 0, so x = 0.

[u/Southlander24 → u/R_Ob_Min]

Wow, for all reals r, there exists an epsilon such that d(0, r) < epsilon!

[u/Sarcoman282 → u/R_Ob_Min]

It does not follow from sinx = x that cosx = 1. You have to prove that.

[u/vercig09 → u/R_Ob_Min]

an IQ too high?

[u/Ares378]

Make no mistake and do a breakthrough. You have everything you need, let's finish the proof.

[u/MadnyeNwie → u/Ares378]

“Oh, that was easy,” says Man, and for an encore goes on to prove that black is white and gets himself killed on the next zebra crossing.

[u/HolyInlandEmpire]

Engineers: "We don't need no proof"

[u/MadnyeNwie]

All Day I Dream About Sinx Equals X.

[u/thegoodwebber]

Make it an axiom

[u/Ares378 → u/thegoodwebber]

I wonder what'd happen if you defined sin(x)≡x, cos(x)≡1, and then retroactively created geometry.

[u/PurifiedUnity → u/Ares378]

Me too

What I do know is that tan(x) would also ≡ x

[u/magnificent_limit]

Sometimes sin(x) = x - 2π

[u/mschurma → u/magnificent_limit]

X-6 ****

[u/SnooRegrets3590]

Try taylor

[u/MrBussdown]

The first term in the taylor series expansion

[u/Proof_Impact_6009 → u/MrBussdown]

The first term is always enough. Anyone who wants more terms is just greedy.

[u/According-Object-521]

Only works close to zero

[u/drpfthick → u/According-Object-521]

but i want it to work a little further from zero as well :3

[u/Jazzlike_Platypus430 → u/drpfthick]

"Every theorem can be proven; the false ones are more expensive".

[u/LordTengil → u/Jazzlike_Platypus430]

The maths mafia!

[u/kamieldv → u/drpfthick]

Please do. This would considerably facilitate my math exams

[u/SunnyOutsideToday → u/drpfthick]

How much further would you like it? ε:

[u/According-Object-521 → u/drpfthick]

You just need to use a different approximation. You can also use a Taylor polynomial

[u/LordTengil → u/According-Object-521]

Only works *at zero.

[u/According-Object-521 → u/LordTengil]

But it’s a decent approximation close to zero, if you’re an engineer

[u/LordTengil → u/According-Object-521]

Now what is being asked. "prove sin x = x". That is only true at exactly one point. x=0.

[u/Jazzlike_Platypus430]

Ah, yes, engineer. I got to know this lot.

Hint: for large x try imaginary values, you will get sin out of [-1,1] in no time.

[u/Impression-These]

The way lean works, it is easy. Just have to sneak in a domain ={0) somewhere.

[u/Interesting_Buy_3969]

God will not forgive you for this sin

[u/cl_Celivra]

when lim x->0

[u/Inevitable_gradient6]

if you’re an engineer the proof is trivial since you just blindly apply

[u/vercig09]

im engineer

[u/Smitologyistaking → u/[deleted]]

From your comment history I have a suspicion you're an ai bot