Math Memes

1156 readers

1 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 1 year ago

MODERATORS

[email protected]

367

Proof by fucking obviousness (sh.itjust.works)

submitted 3 weeks ago by [email protected] to c/[email protected]

70 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 3 points 3 weeks ago* (last edited 3 weeks ago) (1 children)

So you need to proof x•c < x for 0<=c<1?

Isn't that just:

xc < x | ÷x

c < x/x (for x=/=0)

c < 1 q.e.d.

What am I missing?

[–] [email protected] 5 points 3 weeks ago (2 children)

My math teacher would be angry because you started from the conclusion and derived the premise, rather than the other way around. Note also that you assumed that division is defined. That may not have been the case in the original problem.

[–] [email protected] 2 points 3 weeks ago (1 children)

isnt that how methods like proof by contrapositive work ??

[–] [email protected] 3 points 3 weeks ago (1 children)

Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.

[–] [email protected] -2 points 3 weeks ago (1 children)

i really dont care

[–] [email protected] 2 points 3 weeks ago

Then don’t get involved in this discussion.

[–] [email protected] 1 points 3 weeks ago* (last edited 3 weeks ago)

Your math teacher is weird. But you can just turn it around:

c < 1

c < x/x | •x

xc < x q.e.d.

This also shows, that c≥0 is not actually a requirement, but x>0 is

I guess if your math teacher is completely insufferable, you need to add the definitions of the arithmetic operations but at that point you should also need to introduce Latin letters and Arabic numerals.