Methods of Proof | A-level Mathematics

The four main types of proof you need to be familiar with in A-level mathematics:
- proof by deduction
- proof by exhaustion
- proof by counter-example
- proof by contradiction
❤️ ❤️ ❤️ Support the channel ❤️ ❤️ ❤️
/ @maths.explained
100 greatest theorems of all time - pirate.shu.edu/~kahlnath/Top10...
More videos on proof:
Proof by exhaustion example - • Algebraic Proof - A-le...
Proof by contradiction example - • Proof by contradiction...
Proof by deduction example - • Algebraic Proof questi...

Пікірлер: 38

  • @shwetagautam4736
    @shwetagautam47362 жыл бұрын

    This is the simplest and understandable explaination for methods of proof which I found on you tube with such relevant examples. I was able to understand the concept in just one go. Feeling greatful to find this channel. Thank you so much 🥰🥰

  • @slide6314
    @slide63142 жыл бұрын

    bro fr saved my life with the easiest most simplest explanation of proofs. tsym bro

  • @shanemoroney8111
    @shanemoroney81112 жыл бұрын

    Outstanding explanation of these 4 proofs. I was trawling KZread this morning with no success, until I found this video, which explained how to do the proofs at a level I could understand.

  • @whatabouthedroidattackonth3633
    @whatabouthedroidattackonth3633 Жыл бұрын

    i enjoyed the "no u" in the thumbnail, it kept me pushing through XD

  • @sarondesalegne3301
    @sarondesalegne3301 Жыл бұрын

    This is the best explanation thankyou so much, u got a new subscriber

  • @Aaronmx12
    @Aaronmx1211 ай бұрын

    This was a great video! As an extra note if you are like me then the Proof By Contradiction part around 10 minutes can be tricky when the verbiage is laid out as "Assume that n^2 is even, and n is odd". This is the case because of logical equivalences and De Morgans Law: (p -> q) to -(p -> q) to -(-p OR q) to (--p AND -q) to finally (p AND -q) which is how you end up with the negation of the statement. Hope this helps somebody.

  • @AyoOgunyoye

    @AyoOgunyoye

    9 ай бұрын

    no clue what this means lmao

  • @techiesithastobetechies.8531
    @techiesithastobetechies.8531 Жыл бұрын

    Thank you, good insight

  • @gm2407
    @gm24072 ай бұрын

    To prove Goldbachs conjecture wouldn't we have to be able to find primes by a formula based of prior primes and not the current brute force method of sifting that we do at the moment?

  • @FoundlngFather
    @FoundlngFather2 жыл бұрын

    Second Example is an actual question in my book which I didn’t know how to do , lol thx

  • @GCSEALevelMaths
    @GCSEALevelMaths3 жыл бұрын

    Nice video sir good job sir. Hope you're well.

  • @lolzfriend852

    @lolzfriend852

    11 ай бұрын

    How did ur a levels go?

  • @chlorine392
    @chlorine3922 жыл бұрын

    he explained it good however i couldnt help but stare at my reflection the whole time

  • @thinginground5179

    @thinginground5179

    Жыл бұрын

    lol

  • @sophbarry6107
    @sophbarry61077 ай бұрын

    have you made a video on proofs including jottings where you work towards an awnser (this isnt part of final working) then work backwards to prove the question (if that makes sense i dont really understand it) no matter how much practice i do i cant seem to get the hang of it -not sure if this is another way of doing one of these methods or a completely different way (edexel alevel maths)

  • @maths.explained

    @maths.explained

    7 ай бұрын

    Interesting question. If you compare a mathematical proof to an essay, you usually write drafts before the final product. Working out a proof can take a lot of work but the proof itself should be neat and tidy like a final draft of an essay

  • @kushbokhiriya571
    @kushbokhiriya5712 жыл бұрын

    hi, what are all the things that we need to know before answering a proof question, like maths statements

  • @z.e....3175

    @z.e....3175

    8 ай бұрын

    Hi, I believe it is important to know the definitions. Like for a simple example using the first question of proving the even number, first you need to know: what is an even number? You may answer the sequence of even numbers 2, 4, 6, 8, 10, ... But what do they all have in common, to be in general form? All of them are multiples of 2, and they would be in the form of 2n where n is the counting numbers 1, 2, 3, ... So from the above sequence we have 2(1), 2(2), 2(3), 2(4), 2(5),...

  • @crypticgod1134
    @crypticgod11343 жыл бұрын

    Could you go over the mock set 2 from last year? Need help with a few aspects

  • @maths.explained

    @maths.explained

    3 жыл бұрын

    I would love to but I’m a bit sick of getting complaints about posting exams on KZread if the papers are still “locked” on the Pearson website. If you want you can just say which questions you had trouble with and I can post videos on those topics.

  • @goldenrainbow745
    @goldenrainbow7453 жыл бұрын

    Which as level maths is easy Cambridge or edexcel?

  • @maths.explained

    @maths.explained

    3 жыл бұрын

    I think they are probably similar but I have not taught the international AS course no I’m not sure

  • @tigress0076
    @tigress00762 жыл бұрын

    4:56 URGENT HELP PLS: i have end of years in like a couple days and i dont get this type of proof: how do you know what cases to use? Like when do i use odd/even cases to cover all natural numbers, when do i use multiples of 3 etc like how did you know that if you prove it for multiples of 3, 1 more than multiples of 3 and 1 less than multiples of 3, that you would answer the question? Since question says multiples of 9 i got confused.

  • @maths.explained

    @maths.explained

    2 жыл бұрын

    For A level maths there are is a small number of facts that you need to know for these proofs, and I covered most of them in this video. There is a limited set of types of proof questions. It might be easier to chat in discord if you have more questions: discord.gg/HNQrNqfe

  • @willowinnit1169

    @willowinnit1169

    Жыл бұрын

    @@maths.explained hey ive just read your comments and saw this discord link. just wondering if you have a discord server as the link is invalid?

  • @maths.explained

    @maths.explained

    Жыл бұрын

    Yes! Does this work? discord.gg/DCChX9sn I set the links to expire after 7 days just to avoid spam.

  • @willowinnit1169

    @willowinnit1169

    Жыл бұрын

    @@maths.explained yes it does work, thank you. I have just joined 😌

  • @highviewbarbell
    @highviewbarbell11 ай бұрын

    goldbach's conjecture: could one just prove that the prime digits in the series of positive integers 0-9 are sufficient to create any even positive integer 0-9, then generalize the fact that all integers 9+ are composites of integers 0-9? And then could that not be extrapolated out to positive infinity from there?

  • @maths.explained

    @maths.explained

    11 ай бұрын

    Just so you know in maths “composite” has a specific definition. A composite number is any number that is not a prime. Meaning it had more than 2 factors. Most numbers are not composites of integers 0-9. For example 11x13=143. I understand you mean every number is made up of the digits 0-9. The reason this isn’t very helpful is it doesn’t tell you it’s factors or it’s addends. Look at the number 143. The digits 1,4 and 3 by themselves do not help you find the factors 11 and 13. And they don’t tell you how many ways you can sum other numbers to get 143. Hope that helps.

  • @Urnanhey
    @Urnanhey2 ай бұрын

    Try a revise 2hrs before my exam

  • @agravemisunderstanding9668
    @agravemisunderstanding96687 ай бұрын

    What is a natural number, and where did you get the "all natural numbers are multiples of 3 or 1 less than or more than a multiple of 3"

  • @maths.explained

    @maths.explained

    7 ай бұрын

    The natural numbers are the counting numbers 1,2,3,4,5,6 and so on. This video should answer your question: kzread.info/dash/bejne/Znurm7Gzl6adf8Y.htmlsi=R6ICXGP8aFAUUwhT

  • @Anna-ux5kg
    @Anna-ux5kg9 ай бұрын

    sir at 8:58 with n^2 being even meaning that n as even why cant we assume that n^2 is odd and so n is even as its negation since 25 is an odd number right? why does it have to be that n is odd and so n^2 is even

  • @maths.explained

    @maths.explained

    9 ай бұрын

    Because we are trying to prove something about n, given a condition about n^2. We are given that n^2 is even. It’s like when it’s snowing. You might say “it’s snowing, that means it’s cold”. It’s a fact that it’s snowing, and you can prove it must be cold. The negation might be “it’s snowing, that means it’s not cold”. (Well then how could it be snowing?) But you can’t change the fact that it’s snowing. Hope that makes sense.

  • @Anna-ux5kg

    @Anna-ux5kg

    8 ай бұрын

    @@maths.explained IT DOES THANK YOUUUU! YOUR A LIFE SAVER 😭

  • @lolaharwood619
    @lolaharwood6193 ай бұрын

    I disagree with the proof by contradiction, i don't think "n is odd" is a suitable negation, and would personally negate with "n is not even", allowing for irrational numbers and so forth which were never stated not to be applicable- a proof by counter-example: if n² is even, then n must be even Assume n²=2 n²=2(1) => n² is even Then n=±(2)^½, 2^½ ≠ even => if n² is even, n is not necessarily even Perhaps "if n² is _a perfect square_ and even, n is even" is more suitable

  • @maths.explained

    @maths.explained

    3 ай бұрын

    You’re counter example is valid. n does need to be defined as an integer.

  • @A--Hollow
    @A--Hollow2 ай бұрын

    I hate proves so much