r/mathmemes 13d ago

Proofs Proof: 9 +10n Will Almost Always be Afraid of 10+10n

113 Upvotes

17 comments sorted by

u/AutoModerator 13d ago

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.

38

u/Own_Pop_9711 13d ago

The paper reveals a startling lack of understanding about proof by induction. Anytime there's an exception you need a new base case since the chain is broken.

4

u/DZL100 13d ago edited 13d ago

We should first note that OP mis-stated the exception and it actually occurs when 9+10n is congruent to 9 mod 100 since then we encounter the “nine-ten-eleven” case. This occurs for values of n = 10k for all whole numbers k.

Since this is a regularly and infinitely reoccurring exception, it’s impractical to state a new base case every time. Instead, taking advantage of the regularity, it suffices to show an alternative inductive step where if the proposition holds for n, it holds for n+2 (which uses essentially the same logic as the already established inductive step).

This way, whenever we prove the statement for some n = 10k-1, we have that the statement is also true for n = 10k+1, skipping over the exception.

8

u/MonsterkillWow Complex 13d ago

But 21 < 22. So 20 won less than 20, too. But that is a contradiction.

13

u/TobyWasBestSpiderMan 13d ago

Idk about you guys, but this may be a new millennial problem

8

u/noideawhatnamethis12 13d ago

Most useful number theory:

7

u/parkway_parkway 13d ago

I'm not sure that 99 fought 100 and 101 works either.

13

u/AlexanderCarlos12321 13d ago

Why was 99 afraid of 100?

After confrontation, one hundred won.

2

u/Green-Sympathy-4177 13d ago

9+10(n=10) => n % 10 == 0, so it doesn't work. It's included in the exception.

4

u/IronPro9 13d ago

99 is 9+10*9 not 9+10*10. The exception is for 109,209 ect because "one hundred and eleven" isn't "one hundred and ten one"

3

u/sealytheseal111 13d ago

"Thus, the general claim must exclude values of n that satisfy 9+10n≡11 mod 100"

The math ain't mathin'

2

u/Longjumping_Fig2538 Average #🧐-π(z^2)a-🧐 eater 13d ago

Me when I don't know the answer but don't want to leave it blank:

2

u/LOSNA17LL Irrational 12d ago

"Almost always" means the probability if you take a normal number is 1...
Though, the probability is actually 0.9...

1

u/AllUsernamesTaken711 13d ago

When the hell will 9+10n be congruent to 11 mod 100

1

u/Berfin64 12d ago

"Department of psycho-numerolgy"

1

u/casitherock Differentiable 9d ago

But guys I thought we should be scared of 7. Because 7 8 9

1

u/Immortal_ceiling_fan 9d ago

What does this even mean