2 legit proofs & 1 false proof

Поділитися
Вставка
  • Опубліковано 26 лип 2024
  • Take a course from Brilliant via brilliant.org/blackpenredpen/ and start learning something new. That link also gives you a 20% off discount on their premium subscription.
    0:00 cannot divide by 0
    2:14 0^0 is not 1
    4:25 2^x=0 has no real solutions
    6:56 comment your answer below
    7:03 the false proof (I am not saying if 0^0=1 or not)
    7:23 learn more on Brilliant
    8:16 bonus (mind-bending logically writing)
    👉 Ultimate Integrals On Your Wall: teespring.com/calc-2-integral...
    ---------------------------------------------------------------------------------------------------
    **Thanks to ALL my lovely patrons for supporting my channel and believing in what I do**
    AP-IP Ben Delo Marcelo Silva Ehud Ezra 3blue1brown Joseph DeStefano
    Mark Mann Philippe Zivan Sussholz AlkanKondo89 Adam Quentin Colley
    Gary Tugan Stephen Stofka Alex Dodge Gary Huntress Alison Hansel
    Delton Ding Klemens Christopher Ursich buda Vincent Poirier Toma Kolev
    Tibees Bob Maxell A.B.C Cristian Navarro Jan Bormans Galios Theorist
    Robert Sundling Stuart Wurtman Nick S William O'Corrigan Ron Jensen
    Patapom Daniel Kahn Lea Denise James Steven Ridgway Jason Bucata
    Mirko Schultz xeioex Jean-Manuel Izaret Jason Clement robert huff
    Julian Moik Hiu Fung Lam Ronald Bryant Jan Řehák Robert Toltowicz
    Angel Marchev, Jr. Antonio Luiz Brandao SquadriWilliam Laderer Natasha Caron Yevonnael Andrew Angel Marchev Sam Padilla ScienceBro Ryan Bingham
    Papa Fassi Hoang Nguyen Arun Iyengar Michael Miller Sandun Panthangi
    Skorj Olafsen Riley Faison Rolf Waefler Andrew Jack Ingham P Dwag Jason Kevin Davis Franco Tejero Klasseh Khornate Richard Payne Witek Mozga Brandon Smith Jan Lukas Kiermeyer Ralph Sato Kischel Nair
    ---------------------------------------------------------------------------------------------------
    💪 If you would also like to support this channel and have your name in the video description, then you could become my patron here / blackpenredpen
    Thank you,

КОМЕНТАРІ • 784

  • @andrycraft69
    @andrycraft69 3 роки тому +865

    I was not expecting a double contradiction proof. Highly appreciated.

    • @blackpenredpen
      @blackpenredpen  3 роки тому +51

      😆!!!

    • @hugonamy7504
      @hugonamy7504 3 роки тому +7

      It was just insanely cool ! 😂👍

    • @filipve73
      @filipve73 3 роки тому +7

      Is double contradiction proof always true?
      Our you just cheating !

    • @extremegamingdz1309
      @extremegamingdz1309 3 роки тому

      @@blackpenredpen bro you can't just write ln(0) because it doesn't exist.
      And you can't just come and try to break this logic.
      You made some serious mistakes.

    • @nikhilnagaria2672
      @nikhilnagaria2672 2 роки тому +26

      @@extremegamingdz1309 he literally said the same

  • @Some_Guy77
    @Some_Guy77 3 роки тому +614

    This should have been called "Two proofs and a lie."

    • @blackpenredpen
      @blackpenredpen  3 роки тому +100

      Hey that’s a good one. Will change now. Thanks

    • @Adambenhmida0000
      @Adambenhmida0000 2 роки тому +9

      @@blackpenredpen you didn’t 😾

    • @lolzhunter
      @lolzhunter 2 роки тому +19

      @@blackpenredpen he lied!

    • @asheep7797
      @asheep7797 2 роки тому +5

      @@blackpenredpen the lie

    • @k_wl
      @k_wl Рік тому +5

      @@blackpenredpen how about 2 proofs 1 spoof

  • @ehess1492
    @ehess1492 3 роки тому +780

    I wonder if he is setting up the next poll:
    What is correct spelling of “contradition”?
    A) contradiction
    B) contradition

    • @blackpenredpen
      @blackpenredpen  3 роки тому +220

      Nah I am done with that spelling poll

    • @ehess1492
      @ehess1492 3 роки тому +31

      @@blackpenredpen so you didn’t spell “contradition” four times on purpose?

    • @justviewerfromindia2402
      @justviewerfromindia2402 3 роки тому +9

      @@blackpenredpen shouldn't be "contradiction"? As the UA-cam closed caption says "contradiction" and u write "contradition". But still best provement 😀

    • @Mothuzad
      @Mothuzad 3 роки тому +23

      The "con" in "contradition" is like the "con" in "conman". It stands for "confidence". A strong tradition of confidence.

    • @justviewerfromindia2402
      @justviewerfromindia2402 3 роки тому +1

      @@Mothuzad you meant so say as con tradition right?
      Means
      Confidence tradition

  • @spankasheep
    @spankasheep 3 роки тому +91

    1:45 My teacher, every time he is correcting my assignment ;D

  • @Forced2
    @Forced2 3 роки тому +210

    As soon as I saw ln(0) I was like thats negative infinity and you’re going to abuse the heck out of it 😂

    • @sharpnova2
      @sharpnova2 3 роки тому +2

      and then you abused yourself instead.

    • @mondherbouazizi4433
      @mondherbouazizi4433 2 роки тому +15

      It's cute how people nowadays call ln(0) = -infinity out loud shamelessly.
      Did you know that there is no such thing as ln(0), and what you are referring to is the limit as x approaches 0 of ln(x).
      And that's for the simple reason that ln is NOT defined for the real number 0.
      Also, there is no such a number as "infinity".
      I remember once a guy was saying "1 to the power of infinity is undeterminate" and I was like 1 is the neutral element in IR and no matter how many times you multiply it by itself, it will always remain 1. Plus, there is no such a number as infinity, and even if it exists, 1 to the power of that thing would be 1.
      The poor thing was talking about the limit as x approaches 1 to the power of a function of x that approaches infinity. But because his teachers were casually using these "inappropriate" words, he was so full of himself and confident in what he was saying.

    • @Forced2
      @Forced2 2 роки тому +31

      @@mondherbouazizi4433 I know how that stuff works, thanks for explaining though. Just as a reminder for you, not everyone is trying to be correct in their comments on random youtube videos. In this case I just tried to explain that ln(0) reminded me of negative infinity as that is where the limit goes and this gave me the idea that this is probably where funky stuff is happening. I did not word it correctly, as again, cba.

    • @19divide53
      @19divide53 2 роки тому +12

      @@mondherbouazizi4433 Verbally it's sometimes unnecessary to say "the limit as x approaches infinity bla bla" , especially when it's clear from context that's the intended meaning.

    • @MCNarret
      @MCNarret 2 роки тому +1

      @@mondherbouazizi4433 infinity is a number. Give me one good reason not to assume a limit when calculating if infinity is unsigned like 0.

  • @divysaraswat2084
    @divysaraswat2084 3 роки тому +165

    When he says 1:45 "New Math", I got 2 heart attacks at once.

    • @mokafi7
      @mokafi7 3 роки тому +1

      lmao

    • @JasonOvalles
      @JasonOvalles 3 роки тому +20

      But 2=0 so that means you were fine! Right?

    • @lolpotato
      @lolpotato 3 роки тому +2

      In kidney

    • @tgwnn
      @tgwnn 2 роки тому +1

      Hooray for new math, ne-he-hew math. It won't do you a bit of good to redo math. It's so simple, so very simple... That only a child can do it!!!

  • @blackpenredpen
    @blackpenredpen  3 роки тому +83

    My favorite part is at 9:00. Get ready to bend your mind!

    • @zerotwo9607
      @zerotwo9607 3 роки тому +2

      I found a way to prove why 0 to the power of 0 is not equal to 1, and it's legit, reply if you want to me to explain it :P

    • @sukhps
      @sukhps 3 роки тому

      @@zerotwo9607 well, explain it boi

    • @RunstarHomer
      @RunstarHomer 3 роки тому

      @@zerotwo9607 Yeah, let's see it

    • @crazystuffofficialchannel4406
      @crazystuffofficialchannel4406 2 роки тому +3

      I have a weird proof...
      so we know that anything * 0 = 0 right? well we can replace the anything with x.
      now we know that in the equation 0x = 0, x is all real numbers right?
      now we can divide the coefficient of x from the equation, and get x = 0/0
      and we said anything * 0 = 0?
      0/0 = anything
      😮 😮 😮

    • @ripjawsquad
      @ripjawsquad Рік тому

      @@crazystuffofficialchannel4406 fam in order to get x on it's own like that you'll have to divide both sides by 0, which we all know isn't possible

  • @vedants.vispute77
    @vedants.vispute77 3 роки тому +41

    Everyone: Mind Blowing
    Bprp: Mind Bending

    • @JediJess1
      @JediJess1 3 роки тому +3

      StandupMaths: Mind Boggling
      MindYourDecisions: Mind Your Decisions
      YGOAbridged: MIND CRUSH!

  • @anshumanagrawal346
    @anshumanagrawal346 3 роки тому +163

    As soon as he pulled out 0^0, I got hooked. Because I know there's no way to prove 0^0 is not equal to 1, so I immediately knew that was the false one, even before seeing the proof

    • @zerotwo9607
      @zerotwo9607 3 роки тому +2

      You can prove it

    • @anshumanagrawal346
      @anshumanagrawal346 3 роки тому +49

      @@zerotwo9607No, you can't because it isn't really "true", it's just a matter of definition. I pretty much agree 0^0 =1, but for some reason people confuse it with a case 0^m = 0 even though that's only true for positive values of 'm'. In fact, its value is often taken as many fields of maths, we just leave it undefined in standard maths is because our school teachers told us so, the reason for that is that they didn't themselves understand the whole thing very clearly, or simply couldn't bother to explain the technical details to the students

    • @user-en5vj6vr2u
      @user-en5vj6vr2u 3 роки тому +18

      It’s not a matter of definition, it’s a matter of context. It’s indeterminate so depending on where you got your zeroes, it could be equal to 0 or 1 or 69 or whatever. This is why you can’t prove it’s not equal to 1 without saying what function the zeroes came from

    • @zerotwo9607
      @zerotwo9607 3 роки тому +9

      @@anshumanagrawal346 hey so I don't actually know what I'm talking about sorry 😅, never been taught any of this, but is it that x^0 is x/x? And isn't 0/0 undefined? Because x^4/x^1 is x^3, and x^2 is just x^3/x^1, same with just x^1 it's x^2/x^1 so x^0 must be x^1/x^1, which is 0/0,

    • @anshumanagrawal346
      @anshumanagrawal346 3 роки тому +14

      @@user-en5vj6vr2uThere's a very clear distinction between 0^0 (exact form), and some function whose base and exponent both go to 0, and according to you the greatest integer function of 0, should also be undefined as it's also an indeterminate form

  • @katarzynaguzowska3248
    @katarzynaguzowska3248 3 роки тому +43

    Thank you that you write everything on board, it is much easier to follow.

  • @fred-ss4ym
    @fred-ss4ym 3 роки тому +20

    Bob's number is 5. Here's why:
    In the first statement, Alice says she doesn't know who's number is bigger. This means she doesn't have 1 or 9. Bob also doesn't know meaning he doesn't have 1, 9, 2 or 8. Alice still doesn't know, meaning she doesn't have 1, 9, 2, 8, 3 or 7. Bob still doesn't know, meaning he doesn't have 1, 9, 2, 8, 3, 7, 4 or 6. Therefore he must have 5. ( And Alice must have 4 or 6 ).

    • @microscopicallysmall
      @microscopicallysmall 4 місяці тому +1

      did you comment on the wrong video

    • @fred-ss4ym
      @fred-ss4ym 4 місяці тому +1

      @@microscopicallysmall in the sponsored segment, there is a puzzle for the viewers

  • @SlidellRobotics
    @SlidellRobotics 3 роки тому +81

    It would be neat if you would prove Heron's theorem for the area of a triangle, because a lot of people have never seen it. It turns out to be fairly straightforward given the definition of sin and cos, the law of cosines, and factoring the difference of squares three times. The law of cosines is itself pretty easy to prove from the Pythagorean Theorem, definition of sin and cos, and a bit of algebra, with the lemma that sin²θ + cos²θ = 1. If you also prove the Pythagorean Theorem to start, this would be totally awesome.

    • @blackpenredpen
      @blackpenredpen  3 роки тому +14

      I have done those proofs already 😊

    • @mrpie3055
      @mrpie3055 2 роки тому

      You can also prove the law of cosines from vector rules

    • @mrocto329
      @mrocto329 2 роки тому

      @@mrpie3055 If you mean the dot product formula, that won't work as the dot product formula uses law of cosines AFAIK

  • @ameerunbegum7525
    @ameerunbegum7525 3 роки тому +24

    1:10
    Me: Oh, My favorite number is 14....
    bprp: *17*
    Me: Oh, Nevermind.

  • @Bodyknock
    @Bodyknock 3 роки тому +28

    The interesting thing about problem 2 is that in most scenarios, if you define as an axiom that 0^0 = 1, then the answers will be consistent. I guessed immediately even before I saw it from this that problem 2’s proof would probably be the faulty one (which it was). Of course setting 0^0 = 1 can lead to some issues which is why it’s normally left undefined, but there are many cases where that definition leads to consistent results.

  • @thesinglemathnerd
    @thesinglemathnerd 3 роки тому +94

    “We cannot divide by 0.”
    *laughs in wheel theory*

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому +30

      Well, it really depends on what you mean by "division." If you mean that we cannot multiply by the multiplicative inverse of 0, then BPRP is correct. Even in wheel theory, 0 has no multiplicative inverse. Rather, / is defined as a unary involution that specifically for 0, gives a different quantity, not the multiplicative inverse. It is an extension of division, but it can be argued whether this extension deserves to be called "division" or not. So again, it depends.

    • @OrangeC7
      @OrangeC7 3 роки тому +24

      ​@@angelmendez-rivera351 Let's call it, "Division PRO"!
      "Have you been having trouble trying to divide by zero?
      Are you tired of having to deal with inventions from centuries in the past?
      Then we have just the thing for you, Division PRO™! With Division PRO™, you will be able to divide by zero and so much more! Just call ((002)-001-0001 +1)/0 to order your own Division PRO™ for only $159.99 today!"

  • @aswinr9676
    @aswinr9676 3 роки тому +8

    Proving a proof just blows my mind
    You just proved that the proof is wrong

  • @apocalipseleaguepl9248
    @apocalipseleaguepl9248 3 роки тому +12

    Imagining finding a proof method that a proof method, which works, isn't correct. And then proving that the first method is incorrect, because it proves that the second method, which the first method would prove incorrect, always produces correct proofs.
    I hope I wrote it correctly.

    • @MikehMike01
      @MikehMike01 3 роки тому

      sounds like the halting problem

  • @HrsHJ
    @HrsHJ 3 роки тому +36

    Congrats on 700k subs

    • @Angel_Sony
      @Angel_Sony 3 роки тому +1

      @@HrsHJ Same here... are you on instagram?

  • @josir1994
    @josir1994 3 роки тому +11

    The contradiction is this video has 3 legit proofs

  • @drpeyam
    @drpeyam 3 роки тому +89

    Ooooooh fancy!!!

    • @pmathewizard
      @pmathewizard 3 роки тому +7

      2 days ago

    • @viral724pathak
      @viral724pathak 3 роки тому

      @@pmathewizard 🧐

    • @aswinr9676
      @aswinr9676 3 роки тому +1

      Wait how??

    • @HershO.
      @HershO. 3 роки тому +1

      Video uploaded 1 hour ago and comment 2 days ago
      *Illuminati sounds play*
      LOL

    • @redrobbie7977
      @redrobbie7977 3 роки тому +2

      Peyam teach us your ways.

  • @lolerishype
    @lolerishype 2 роки тому +1

    7:02 That bird in the background is golden

  • @Zyx3ds18
    @Zyx3ds18 3 роки тому +13

    I figured that proof 2 was incorrect because Ln(0) is undefined, I wondered if the proof would work as a limit, but then you would still have ln(0) after the multiplication inside of the Ln.

    • @huhbooh
      @huhbooh 5 місяців тому

      I thought proof 3 was incorrect because it had a multiplication with 0

  • @elithanathileoathbound3772
    @elithanathileoathbound3772 3 роки тому +2

    Could this become a regular series? I would definitely watch it.

  • @gurkiratsingh7tha993
    @gurkiratsingh7tha993 3 роки тому

    I have studied about indeterminate forms but today I have studied many new things from your video, I highly appreciate your work.

  • @mathsman5219
    @mathsman5219 3 роки тому +3

    Cancelling In (0) from both sides was wrong.

  • @cormalan9894
    @cormalan9894 3 роки тому +2

    Love this format! Do more of these please

  • @fantiscious
    @fantiscious 2 роки тому +1

    Thanks for showing the right proof that 2^x ≠ 0. Some people accidentally provide the wrong proof:
    [1] Assume 2^x = 0
    [2] Then, 1/(2^-x) = 0
    [3] Multiply both sides by 2^-x: 1 = 0
    However, this proof already relies on the fact that 1/(2^-x) is defined in [2], which tells us that 2^-x ≠ 0, telling us that we already know 2^x ≠ 0. Therefore the proof is wrong.

  • @LOLHeadVideos
    @LOLHeadVideos 2 роки тому +3

    0/0 is undefined (not equal to 1) so you can't cancel them in the first proof, which makes the first proof also false

  • @kazuhoshiinoue2695
    @kazuhoshiinoue2695 3 роки тому +4

    Actually, there are cases where 0^0 must equal to 1. One of those is the power series of e^x - the sum of (x^n)/n! from n = 0 to inf. If we let x = 0, we get (0^0)/0! or (0^0)/1 or just 0^0. But we know that e^0 = 1 and that the first term of exponential function's power series is 1. So...

    • @_Ytreza_
      @_Ytreza_ 2 роки тому

      That's why it's often rewritten as 1 + sum (n >= 1) [x^n/n!] to avoid this special case
      I think it's better to leave 0^0 undefined and always stay away from it '_'

  • @kxngkvde
    @kxngkvde 2 місяці тому +1

    I believe it is the second proof because at one step, you subtract (ln 0) when (ln 0) isn't defined. If it was defined to be negative infinity, we have -infinity-(-infinity), which is infinity-infinity, which is undefined.

  • @cube7353
    @cube7353 2 роки тому +2

    In 2nd one,
    You could take
    0°=2°
    Then,
    0=2 which is not possible.
    Therefore, 0° is not equal to 1.

  • @roberternest7289
    @roberternest7289 Рік тому +1

    Fun fact, the division sign ÷ is mainly used in computer writing, in written mathematics (at least here in Czechia) we use :
    The same applies to / and straight division line, where / is used in computer writing and the straight when writing by hand.

  • @MrRyanroberson1
    @MrRyanroberson1 3 роки тому

    the end is quite satisfying with the proof by contradiction of proof by contradiction

  • @jacksonpercy8044
    @jacksonpercy8044 3 роки тому +2

    There's learning from your mistakes and then there's spinning your mistakes into a format for entertaining content. That's more impressive than proof 4.

  • @isaacormesher2851
    @isaacormesher2851 2 роки тому +2

    Taking the log base 2 in proof 3 of 2^* is also doing ln0 from our definition so the proof is invalid in the same way as proof 2. Instead from that step it's much better to multiply by 2^n and take a limit as n goes to infinity!

  • @carpedm9846
    @carpedm9846 2 роки тому +2

    The moment Ln showed up I had a bad feeling. Anything with euler cant be trusted to act normal

  • @HeraldoS2
    @HeraldoS2 3 роки тому +6

    The third proof is also invalid, you cannot take log of 2 to the star on the right because 2 to the star is 0. That would be undefined again.

    • @josiproak739
      @josiproak739 2 роки тому

      I agree, the more elegant way i would do is prove that for every real number a, star+a is also a solution, so we can conclude that the function 2^x is identically equal to 0, and then we have a contradiction

    • @Dyllon2012
      @Dyllon2012 2 роки тому

      This is actually ok because we assume 2^* = 0. Since the logarithm is the inverse of the exponential function by definition, this means log2(0) = * is also true.

    • @petrie911
      @petrie911 2 роки тому

      This can be rectified by instead noting that 2^x is strictly increasing on R.

  • @louisduhamel4040
    @louisduhamel4040 2 роки тому +2

    I was so happy to see how happy he was when he found the contradiction

  • @Nebula_ya
    @Nebula_ya 2 роки тому +4

    I have a question with proof 3. Since
    2^* is equal to 0, and so is 2^(*+1).
    Isn't the step where we go from
    2^(*+1)=2^(*)
    to
    *+1=*
    an illegal move since you are taking the log of 0 in both cases?

  • @watermelonvolcano9999
    @watermelonvolcano9999 2 роки тому

    “What’s your favorite number” me: Says 17, he then immediately proceeds to say 17

  • @xwtek3505
    @xwtek3505 2 роки тому +8

    Actually, the reason 0^0≠1 is just an convention to make the function continuous and easy to work with in calculus.
    In other field of mathematics like set theory and combinatory theory, 0^0 is defined to 1 because it makes combinatorics proofs easier to deal with

  • @victorsouza3709
    @victorsouza3709 2 роки тому +2

    The first method is also false.
    If you consider that 0/0 = 0, then it would work.
    But you considered that 0/0 = 1. So it failed.
    But this depends on what you define what divisibility is for the zero case

    • @victorsouza3709
      @victorsouza3709 2 роки тому

      Or how about...
      0/0 = #
      Such that # is something that is not in the real numbers
      It looks like it is coherent

  • @sowndolphin5386
    @sowndolphin5386 2 роки тому

    2:15
    Phone calculators:
    and we took that personally

  • @manamtiwari
    @manamtiwari 3 роки тому +9

    I am just amazed how the heck did you read my mind 17 is my favourite number ❤️

    • @gnorthey
      @gnorthey 2 роки тому +1

      Mine is too i almost dropped my phone when i heard him say that!

  • @angelmendez-rivera351
    @angelmendez-rivera351 3 роки тому +1

    A better way of formulating proof is by explicitly working with the definition of division, with a/b = a·b^(-1), rather than keeping the symbol for division. The former makes it easier to see why the proof works and why it leads to a contradiction. 0^(-1) is the solution to 0·x = 1. With 0·1 = 0·17, you can left-multiply by 0^(-1), so 0^(-1)·(0·1) = 0^(-1)·(0·17), and by associativity, this is equivalent to [0^(-1)·0]·1 = [0^(-1)·0]·17. Since 0^(-1)·0 = 1 by definition, 1·1 = 1·17, hence 1 = 17.
    The second proof can be immediately understood to be incorrect, solely on the basis that ln(0) is undefined. Also, the assumption that ln(0^0) = 0·ln(0) is incorrect for the same reason that ln[(-1)^2] = 2·ln(-1) is incorrect. The equation ln(x^y) = y·ln(x) is not correct for every x and t: x > 0 is a requirement.
    The third proof does make some assumptions, but ultimately, it is still true that 2^x = 0 has no solutions. What it boils down to is that the codomain of every exponential function is C\{0}.
    Another example of a bad proof is the proof that 0^0 = 0/0. People say 0^0 = 0^(1 - 1) = 0/0. However, this proof method is clearly invalid, since 0^2 = 0^(3 - 1) = 0^3/0 = 0/0, yet we can obviously agree that 0^2 = 0·0 = 0. So the proof method above is invalid. Of course, the reason is simple: if you substitute a value into an equation knowing that it does not satisfy the equation, then obviously a contradiction will arise, especially if one the parts is undefined, but that does not immediately imply every part in the equation is undefined.

  • @andrewkoo6806
    @andrewkoo6806 3 роки тому +2

    The answer to Bob and Alice question is Bob has the number 5.
    Explanation:
    It's a one digit number (1 - 9), alice and bob has different number.
    When alice says she doesn't know whose is bigger, that means bob now knows her number is neither 1 or 9.
    When Bob says he doesnt know whose is bigger after alice, alice now knows his number is neither 2, 8, 1, or 9.
    When Alice says she still doesnt know whose is bigger, Bob knows her number is neither 3 or 7 plus the first four above. So her number's either 4,5 or 6.
    Lastly, bob says he still doesnt know, that means he has the number 5. He still doesnt know because alice's could be either 4 or 6.
    So i guess after that convo, alice would be the first to know Bob's number.

  • @Thror251
    @Thror251 2 роки тому

    the bonus part is amazing.

  • @prathampatel1740
    @prathampatel1740 3 роки тому +8

    1st suspicion: "wait, isn't 0^0 actually 1"
    2nd suspicion: "ln0"

  • @pedroribeiro1536
    @pedroribeiro1536 3 роки тому

    700k huh, congrats man 👊

  • @SpaceWithSam
    @SpaceWithSam 3 роки тому +1

    Very interesting!

  • @bm-br3go
    @bm-br3go 3 роки тому +1

    That last proof also seems a little sketchy. In order to go from 2^(x+1) = 2^x to x+1 = x, you need that the exponential functions are 1-1. That fact might depend on the exponential not being 0, and if it does your proof is circular (Im not 100% sure that this is the case though). So if you can prove injectivity of exponential functions without using the fact that they are nonzero, then the proof is right, I just don't know a way to do so.
    You can prove that the exponentials are nonzero by doing so first for integer exponents, then rationals and then making a limiting argument to extend it to the reals. This would be the more secure way which doesn't depend on other properties of exponents.

  • @hoffmanmustardoil6191
    @hoffmanmustardoil6191 3 роки тому

    One of the best explainer of mathematics on UA-cam...

  • @jorgelenny47
    @jorgelenny47 3 роки тому +1

    I thought the mistake was subtracting ln0 on both sides since it's undefined

  • @Imran-Shah
    @Imran-Shah Рік тому

    I was watching your video with no sound (for reasons beyond the scope of the most difficult integral...) and I thought by the title that the first two had to be valid and the third proof to be invalid. (2 legits and 1 false). And I didn't quite understand how you "worked" with ln0 is just a quantity and continued to use rules of exponents. And then the third one I couldn't find a flaw. And then came 7:00 and it all became clear! I do like the third proof a lot!

  • @jaymercer4692
    @jaymercer4692 3 роки тому

    My way of understanding why dividing by 0 is undefined and not infinite as many people like to think is when I consider the formula, f=ma. We often use this in mechanics to say that if there is no acceleration there is no resultant force but it doesn’t imply the mass is infinite, in fact it tells us nothing about the mass. The mass could be a tiny number up to an infinitely large one but we just have no way of knowing and therefore it is undefined.

  • @novidsonmychanneljustcomme5753
    @novidsonmychanneljustcomme5753 3 роки тому +21

    You always used to write "contradition" during the video, just as a hint. 😉 (This does not make the mathematical content worse of course. :))

    • @stlemur
      @stlemur 3 роки тому +39

      He forgot the +C

    • @myrus5722
      @myrus5722 3 роки тому

      Edmund Schluessel You win

    • @novidsonmychanneljustcomme5753
      @novidsonmychanneljustcomme5753 3 роки тому +1

      @@stlemur Lol there's no better way to express this. 👍🏻😁

    • @artsmith1347
      @artsmith1347 3 роки тому

      I suspect his English is way better than you are in brpr's first language -- even if you aren't required to use the traditional symbols. I suspect your transliteration to Latin characters would also fall short.

    • @novidsonmychanneljustcomme5753
      @novidsonmychanneljustcomme5753 3 роки тому +2

      @@artsmith1347 I suppose your comment was addressed to me? If so, I have no problem to admit that indeed English is not my native language since I'm German. And I'm aware that I regularly make my mistakes in foreign languages, this is completely normal. However this does not exclude the possibility that I also "am allowed" to draw someone's attention to their mistakes if I find some. At least in this case when the same mistake catched my eye several times. To me your comment sounds as if I had been "rude" having fun complaining about other's mistakes while claiming that I'm "perfect". Both is not the case. I emphasized that I didn't mean to offend bprp at all. It was just that one spelling mistake I found kinda funny while I keep on cherishing his mathematical content. If you can't read that from my comment above, I can't help you. 🤷🏻‍♂️

  • @SyberMath
    @SyberMath 3 роки тому +4

    7:18 yummy!!!
    You tackle some very important topics!
    Awesome! 🤩🤩🤩

  • @colinbradley7361
    @colinbradley7361 3 роки тому

    When in the first proof your favorite number is 1.

  • @GodzillaFreak
    @GodzillaFreak 2 роки тому +1

    I think there’s a staggering flaw in the first proof as well. You implicitly imply that 0/0=1 when you attempt to cancel them out, which is wholly unjustified

  • @MCNarret
    @MCNarret 2 роки тому

    A proof by contradiction doesnt necessarily prove the statement if the solution is conditional, where cannot becomes cannot always.

  • @filthypete13
    @filthypete13 3 роки тому +1

    I was able to figure out which proof was wrong but my reasoning was slightly different (and probably wrong)
    I was thinking that you couldn't take the ln (0 x inf) because 0 x inf would be undefined or nonsensical.

  • @tarikeld11
    @tarikeld11 2 роки тому +1

    Dividing by zero is like the question "How long do I have to stand still to get to another place" 😂

    • @Extramrdo
      @Extramrdo 2 роки тому

      the answer to both is "however long it takes someone to kick you across the room for your crimes."

  • @dimitriosb.3242
    @dimitriosb.3242 3 роки тому +1

    Hey Blackpenredpen , I have an interesting proof that I want you to see, is there somewhere I can send it?

  • @websparrow
    @websparrow 9 місяців тому

    The problem I believe in math that has been stuck with so many contradiction, is that zero is not a number. Zero is the absence of any number. So using at a number you will have confusion...

  • @firedropcutie
    @firedropcutie 3 роки тому

    I knew the false proof was gonna be the second one as soon as I saw 0⁰, however when I saw the bonus proof as to why, it really messed with my brain

  • @therattleinthebook397
    @therattleinthebook397 2 роки тому

    The trouble is the way we think about exponents involves division. Why is 4^0=1? Because 4^2/4=4^1 and 4^1/4=4^0, and 4^1/4=1.

  • @prayrenayadav5466
    @prayrenayadav5466 3 роки тому

    I really love your derivatives merchandise

  • @xrobin7205
    @xrobin7205 3 роки тому

    I usually are amazed by the things you do bc they are out of my mind but this i actually noticed bc we just had log(x) in school

  • @MuffinsAPlenty
    @MuffinsAPlenty 3 роки тому +1

    "I thought I came up with a wonderful proof showing 0^0 is not 1 [...]"
    If you ever come up with another one, my suggestion is to test it on other powers of 0. For example, test whether your "proof" would also show 0^2 is not 0. In my experience, pretty much every "proof" that 0^0 is not 1 also shows that 0^2 is not 0. Seeing this, we can conclude that the "proof" is flawed :)

    • @MuffinsAPlenty
      @MuffinsAPlenty 3 роки тому +1

      Ahhhh! You actually showed this. Very good! I should have kept watching before commenting. Very nice :)

  • @TasteTestBattles
    @TasteTestBattles Місяць тому

    As someone who just finished GCSEs, I think 2 is a false proof because ln(0*ln0) = ln(0), because 0*ln0=0. That means the equation makes perfect sense. No idea what any of it means though

  • @applimu7992
    @applimu7992 3 роки тому

    3 because the log function has many values, so both star and star+1 could be solutions

  • @electra_
    @electra_ 2 роки тому +1

    I think the middle proof of 0^0 != 1 is the lie, as you can't subtract ln(0) on both sides (it is undefined)
    Will note that the frst proof could probably use a slightly more rigourous definition than "you cannot divide by 0" as this feels a little vague, for proof standards

  • @butter5014
    @butter5014 3 роки тому

    Dear BPRP and others, please help me with this problem: 12x^2 - (x^2)(y^2) + 11y^2 = 223 , solve for x,y out of Z (whole numbers). Thanks in advance!

  • @davidkosata3051
    @davidkosata3051 Рік тому

    There is one thing that always confused me about the first proof. How can we assume that 0/0 != 0? Because in that case, 1*0/0 = 1*0 = 0, and there is no contradiction.

  • @alexatg1820
    @alexatg1820 3 роки тому +2

    If u ask me tho, the third proof is kinda invalid too, as 2^x is set to be equal to 0, so is 2^(1+x), you can't take log on both side as they are both zero.

    • @alexatg1820
      @alexatg1820 3 роки тому

      If im to prove that,
      i would say it's the same as proving if x∈ℝ, then 2^x≠0
      Proof by cases:
      Case 1: x>0
      Because 2^x>0 ∀x>0, so 2^x≠0
      P.S. 2^x=e^(xln2),
      Bec ln2>0, we can use power series of e^x to proof 2^x>0
      Case 2: x=0, then 2^x=0
      Case 3: x0
      then 2^x =1/2^y,
      But from case 1, 2^y>0 ∀ y∈ℝ,
      2^x >0 ∀ x∈ℝ
      Hence, 2^x≠0 ∀x∈ℝ

  • @Inspirator_AG112
    @Inspirator_AG112 3 роки тому +7

    *AT TIMESTAMP [**02:52**]:*
    HOLD ON! 🛑 _You can NOT even plug zero into a logarithm with a non-zero base!_ If you try the Above, the logarithm will immediately fail. This is also an exception to the Rules of Exponents.

  • @ahuang2499
    @ahuang2499 2 роки тому +1

    Again, he heard 17 is my favourite number.

  • @nickhodgskin
    @nickhodgskin 3 роки тому

    When you use a proof by contradiction to disprove your previous proof by contradiction 🤯

  • @gianglai7346
    @gianglai7346 2 роки тому

    17 is actually my favourite number and I was really surprised when you guessed it correctly O.O

  • @complexmathematicanand5plu939
    @complexmathematicanand5plu939 3 роки тому +4

    x^x^x=3
    Please solve it!

  • @adamp9553
    @adamp9553 3 роки тому

    Absolute zero, like infinity, is an abstract number with no precision. There's no result trying to divide by absolute zero or raise absolute zero to zero because the number has no scale.

  • @vedants.vispute77
    @vedants.vispute77 3 роки тому

    6:24 The red star fainted..

  • @endermarcuz3053
    @endermarcuz3053 2 місяці тому

    The #1 assuming that dividing by 0 doesn't change the field's division proprieties. The #2 ln(0) is not defined in the field. 2 lies 1 proof. #2 is incorrect for the reasoning that it is both equal to 1 and 0 at the same time which we cannot accept. #1 proof would need a field theory demonstrating we go against field assumptions if we divide: is not as easy as doing an example and calling it done. Also enlarging the field to wheel algebra we find it possible to do it.

  • @athar_adv
    @athar_adv 8 місяців тому

    The second one you can't do ln(0•ln(0)) since ln(0) is undefined

  • @pencilbox2214
    @pencilbox2214 3 роки тому

    i thought the first proof was incorrect because even though you divide by 0, you assume that 0/0=1 which was not stated in your proof beforehand

  • @karryy01
    @karryy01 3 роки тому

    Divide by 0 is a special equation. Any real number divide by 0 will equal to infinity. And you cannot do the calculation of infinity numbers, like ∽-∽ or ∽÷∽.

  • @MrYesman43
    @MrYesman43 3 роки тому

    How do you get from 2^(1+*) = 2^* to 1+* = *? You say you can take the logarithm but since 2* = 0, log(2*) = log(0) which is the same error which was made in "proof" 2.

  • @sergeygaevoy6422
    @sergeygaevoy6422 8 місяців тому

    2^(x+1) = 2^x = 0
    We cannot apply ln() because ln(0) is undefined so the third proof is not so correct too.

  • @tessieract
    @tessieract 3 роки тому

    It's the 0^0 proof. proof by contradiction relies on not making any other assumptions that are left unproven. But by using the ln(0), you are implicitly assuming that ln(0) is defined, which it is not. Thus, you could argue the contradiction is arrived from THAT assumption, that ln(0) is defined, and not that 0^0 = 1.

  • @user-mr3fg3rz8u
    @user-mr3fg3rz8u 3 роки тому +3

    1:13 I ACTUALLY SAID 17 WTF

  • @maybeitsright4011
    @maybeitsright4011 2 роки тому +1

    I have no idea what he was talking about about 80% of the time but i didn't get lost some how

  • @connorm9176
    @connorm9176 3 роки тому

    The second one is bad right? because he also secretly makes another assumption that it is valid to take the ln of 0, which it is not

  • @PoundersPlatinum
    @PoundersPlatinum 2 роки тому +1

    Wouldn’t 3 be wrong since after you removed the star you got 2^1 = 2 which is true?

  • @user-tv8pr9mx2o
    @user-tv8pr9mx2o 3 роки тому

    minus ln(0) is same as divided by 0

  • @rhc1560
    @rhc1560 3 роки тому

    Hello. I wanted to say that I proved that n (n is a positive real number with n cannot be equal to 0) divided by 0 is defined. I am not sure of that statement because I am a student. I will show it to my teacher to see if my proof is right.

  • @prashantpriyadarshi7666
    @prashantpriyadarshi7666 3 роки тому +1

    2nd proof is wrong bcoz ln0 is not defined. Zero does not fall in the domain of ln(x).

  • @Utesfan100
    @Utesfan100 3 роки тому

    That last proof is meta!

  • @simonwillover4175
    @simonwillover4175 3 роки тому

    At 4:10 you had ln(0) = 1, which is not contradictory, becuase you can substitute into your other equation, 0 * ln(0) = 0
    Doing so yields 0 * 1 = 0, which we know is true.
    Your mistake in the second proof was assuming that ln( 0 * ln 0 ) = ln 0 + ln( ln 0 ). The issue with that equation is that 0 is erasing information, and thus it can not be distributed here.

  • @sukhps
    @sukhps 3 роки тому +2

    4:15 its kinda weird to see zeros there...

  • @l-a6167
    @l-a6167 3 роки тому

    On the firts demostration, if you assume that we can divide Real set becomes to IR={0} a real boring set!