Thanks for making the time for this vid. Really helped💪
@julianmunoz6034Ай бұрын
I was also thinking of induction proof from first case of 1 possibility and another number of possibilities. Then when there’s 3 different amount of possibilities , you define the previous possibilities into the number calculated for the 2 possibilities. And so on so forth for more than 2.
@RelativelyPowderАй бұрын
Youre correct that that is another way of proving this principle. Pretty much like : Base case: For 1 stage, the number of possibilities is n1. Inductive hypothesis: Assume the multiplication principle holds for k stages, meaning the total number of possibilities is n1 * n2 * ... * nk. Inductive step: For k+1 stages, the total number of possibilities is (n1 * ... * nk) * n(k+1), which proves the principle for k+1 stages. Conclusion: By induction, the multiplication principle holds for any number of stages.
@JacobViscusiАй бұрын
An alternate non contradiction based proof: Suppose A, B, and C satisfy the premise A-B \subseteq C. Consider an arbitrary x in A-C, so that by definition, x is in A but is not in C. Since x is not in C, x can not be in any subset of C, so in particular, x is not in A-B. Recalling that x is in A and pairing with the new fact that x is not in A-B, it must be the case that x is in B. Since x was arbitrary, we have shown A-C \subseteq B.
@RelativelyPowderАй бұрын
yes this proof is also valid, i like the approach of "if an element is in 𝐴−𝐶, then it must belong to 𝐵 because it cannot be in 𝐴−𝐵 (as 𝐴−𝐵⊆𝐶)". Very unique logic!
@julianmunoz6034Ай бұрын
Do you have a proof for the multiplication principle in counting? If so I’d love to see it. Thanks for making your proofs!
@RelativelyPowderАй бұрын
I have had the same question before, and so far the proof from what i read is that it just logically makes sense, however im trying to think of a better reason.
@RelativelyPowderАй бұрын
here : kzbin.info/www/bejne/oYubmqFsn5iGhc0si=UUTs4jwv8V27aij3
@srikrishnanarayanan2031Ай бұрын
Here before you're famous jokes aside, your explanations are really clear! Many teachers will only tell students certain formulas but won't explain how they're are derived
@emjizoneАй бұрын
2:11 Repetition does *NOT* make an explanation. Either it's already clear since you already said it, either it's confusing again.
@reginaldfrank656Ай бұрын
Yeah? Well, you know, that's just like uh, your opinion, man.
@emjizoneАй бұрын
1:34 Shouldn't it be XOR rather than OR, based on what you are trying to explain?
@RelativelyPowderАй бұрын
Yes you would be correct, its technically a XOR since OR would also be considering the possibilities of each aswell as both happening at once. I used OR because using "OR" has the benefit of aligning with common language, making the explanation simpler and more easily understood. Introducing XOR complicates the explanation by adding another concept to grasp, on top of the fact that in a discrete math course they dont often introduce logic gates apart from AND and OR. To your point the trade-off is the potential confusion that "OR" might imply the possibility of both options occurring simultaneously. Might be worth refilming the video since youre correct and i think maybe making this distinction briefly would be a benefit to the audience. Edit : For those curious about XOR and OR, kzbin.info/www/bejne/p4bRo52VlL-qmtE
@livedandletdieАй бұрын
a⊕b not a+b
@VJHUSARAM2 ай бұрын
பொருள் அந்த மாதிரி இருக்கு வர்மா..!
@VJHUSARAM2 ай бұрын
பொருள் அந்த மாதிரி இருக்கு வர்மா..!
@Everythingofphysics2 ай бұрын
JEE students attendance here
@conspicuousgetawaycar86842 ай бұрын
posted 23 hours ago and has 23 views
@conspicuousgetawaycar86842 ай бұрын
what if johnny is partially in the kitchen
@RelativelyPowder2 ай бұрын
Unfortunately that cant be possible, you would need to define what if means for him to be in the kitchen i.e. all of him must be in the kitchen or he isnt considered in the kitchen OR a part of Johnny would need to be in the kitchen for him to be in the kitchen and we dont consider the other parts to be anywhere. Cant have ambiguity in definitions.
@wosh253Ай бұрын
If Johnny is walking from the kitchen to the living room, how many kilometers did the apple consume of car? (Hint: there are ~365 days in a year)
@durgaprasad-zg9ku2 ай бұрын
👍
@RaymondBarbour2 ай бұрын
Thanks, nice clear video
@xiinze2 ай бұрын
Hey, this is actually a good video, it's easy to understand, can you do me a favor of making a lesson for derivatives? either u can or not I'll sub for notif
@RelativelyPowder2 ай бұрын
I will absolutely make a video on an better way to understand a derivative! Thats a good idea, although im focusing currently more on uploading discrete math type of problems, i think it would be nice to take a bit of a break and do some calculus. However I will need some time to figure out how i would explain something like that without getting too mathy or simple.
@xiinze2 ай бұрын
@@RelativelyPowder no problem, take your time, thankss!
@fullfungo2 ай бұрын
I don’t think it was actually a mistake. Defining a|b as “b=ak for some integer k” is perfectly valid. Your argument for why it’s wrong is using a very specific solution technique that is not required. It’s similar to saying that a=√b means “a>0 and a•a=b”. Some numbers satisfy this relation, like a=3,b=9 or a=1.5, b=2.25 and some numbers don’t, like a=1,b=2 or a=9,b=0. And in my example, a=5, b=-37 also does not satisfy this relation, but we don’t have to redefine it as “a>0 and a•a=b and if a=5, then b is not -37”. They already don’t satisfy this relation. Similarly, you don’t have to say b>0 in my example, even though no pair (a,b) with negative b satisfies it. But we don’t have to change the definition because of it. Even though one of the solution techniques can be to calculate √b and compare it to a (which would break if b is negative), this doesn’t mean we have to set restrictions based on what my calculator can do. If that was the case, we must also exclude numbers above 10^60, because my calculator cannot work with them. In your case, expression “0|a” is not malformed, it’s just false. That doesn’t mean you have to exclude it. And the equation a=0k is a valid algebraic expression, that can be solved numerically. The only issue is that you cannot use the technique of dividing by the number in front of k. But there are other solution techniques that work perfectly fine. Nothing in the original definition dictated that you have to solve it by dividing. I can prove that 2 does not divide 3 without using your technique. 3=2k. The left side is odd, the right side is even. Therefore, they cannot be equal. Therefore, no integer k exists. Therefore, 2 does not divide 3. And for 0 and 2. 2=0k. The left side is 2, the right side is 0. Two is not zero. Therefore, there is no integer k. Therefore, 0 does not divide 2.
@aimsmathmatrix2 ай бұрын
Shouldn't it be true in a factorization ring if we exclude the unit group of it? Since the only numbers this wouldn't work for (my intuition at least) would be units. 1 and -1 are the units of Z.
@RaymondBarbour2 ай бұрын
I would have liked to see a proof of the 2^n
@RelativelyPowder2 ай бұрын
Here you go! kzbin.info/www/bejne/gJqciHqmart1hrM, i also posted an induction proof of this too
@Thirdbase92 ай бұрын
But I thought 1x1=2. 🤣
@ITR2 ай бұрын
A bit trivial since it's easy to find a counter example, so might be fun to do something like: a != b, a*m = b, a = b*n a*m = b => a = b/m a = b*n => b/m = b*n => 1/m = 1*n => 1 = n*m Then instead find the case where this is true, namely n = m = -1
@davidlloyd15262 ай бұрын
I think a better proof would be to write a = nb and b = ma for a,b,n,m integers. So... ab = nmab. So 1 = nm. n and m are plus or minus 1.
@RelativelyPowder2 ай бұрын
unfortunately that would not be a correct negation of the statement, although this is exactly the type of logic i encountered in the proof : for all positive integers a,b if a|b and b|a then a=b
@davidlloyd15262 ай бұрын
@@RelativelyPowder It's fine. It shows that there are two solutions a=b and a=-b. Which is a negation of the statement. Nobody cares about flowery language in a maths paper, it's just pretentious...
@SteveThePster2 ай бұрын
The theorem is true in N, but not true In Z
@ryanjung53202 ай бұрын
What if a and b are natural numbers? Contrapositive?
@RelativelyPowder2 ай бұрын
I made a complementary video on the "natural numbers" (more like positive since its disputed whether or not 0 is a natural number) here: kzbin.info/www/bejne/aX_VkGejnpp3pM0si=m5CicxoNX2MN7QWW. The contrapositive should also be true given that it is logically equivalent to the original statement.
@SalimJendoubi2 ай бұрын
Can you do videos about math olympiads problems
@RelativelyPowder2 ай бұрын
Interesting request, i might do that after a some more discrete math proofs, if you have any specific suggestions that would be great!
@stuartm70092 ай бұрын
But, is it true for even integers >0?
@RelativelyPowder2 ай бұрын
Yes, it is, you can find my proof for that here : kzbin.info/www/bejne/o2etZnmkhNJsoJosi=Vip86BULrKF1TYbs
@kidwhostudies3 ай бұрын
x^2 -6x will always give an even number because x is an even number but the equation x^2 - 6x + 5 will be odd as an odd number is added to an even number
@RelativelyPowder2 ай бұрын
Exactly that is correct, you can view x^2 - 6x as the same as asking even - even which ive also proven is always even, and then even + odd = odd (separate proof).
@kidwhostudies2 ай бұрын
@@RelativelyPowder yes😀
@KrasBadan3 ай бұрын
Amazing
@berndkru3 ай бұрын
n even -> n^2+2n even, n odd -> n^2+2n odd
@RelativelyPowder3 ай бұрын
True!
@amigm3 ай бұрын
Do you have to explain distribution law?
@RelativelyPowder3 ай бұрын
You typically do not need to prove the distributive law as part of this specific proof. The distributive law is a fundamental property of arithmetic and algebra that we generally assume the reader to understand and accept in most mathematical contexts.