Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Valid method of proof?

  1. Jun 3, 2008 #1
    I haven't taken any classes on proofs before, so I am wondering if the following is a correct method to prove something.

    If I'm given the Pythagorean theorem, a^2 + b^2 = c^2, and asked to prove it, then I say there is a triangle, with hypotenuse, c, the horizontal leg of the triangle, a, and the vertical leg of the triangle, b.

    Then CosX = a/c and SinX = b/c,

    Therefore a = cCosX, b = cSinX and c = a/CosX

    I can then substitute those into the theorem a^2 + b^2 = c^2 and get:

    a^2/(CosX)^2 = (c^2)(CosX)^2 + (c^2)(SinX)^2

    Simplifying:

    a^2/(CosX)^2 = (c^2)(1 - (SinX)^2) + (c^2)(SinX)^2

    a^2/(CosX)^2 = c^2 - (c^2)(SinX)^2 + (c^2)(SinX)^2

    a^2/(CosX)^2 = c^2

    Taking the square root of both sides:

    a/CosX = c

    Which is what I said c was equal to in the beginning. Basically, I assumed the premise, and since I arrived at a truth, I assumed the theorem is true.

    I am pretty sure that the Cosine and Sine ratios are proved using Pythagoren theorem, so that automatically invalidates my proof, but is the method (assuming the premise then arriving at another basic truth) valid?
     
  2. jcsd
  3. Jun 3, 2008 #2
    How did you do this?

    a^2/(CosX)^2 = c^2 - (c^2)(SinX)^2 + (c^2)(SinX)^2

    a^2/(CosX)^2 = c^2

    There are probably other methods to prove that [tex]sin^2(\theta)+cos^2(\theta) = 1[/tex], but the only way I've ever seen uses the Pythagorean theorem. So no, your proof is probably not valid depending on how you (or your book) prove this.

    But as to your other question, yes, as long as each step is justified (in your case one is not), this is a valid method of proof.
     
    Last edited: Jun 3, 2008
  4. Jun 3, 2008 #3

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Fine so far

    Yep, that's still fine (as long as you've not used pythagoras theorem to prove

    cos^2 x+sin^2 x=1

    that is.


    This is _not_ fine. You cannot assume the premise, nor do you need to.


    No. To answer your final question.

    SImple example? Well, using your idea I can prove 1=-1. Assume it, square both sides, and I get a basic truth of 1=1.

    Ignoring the validity of chosing sine and cosine (the identity for them can be proven in other ways), then just note that substituting sin X = b/c and cos X= a/c into

    sin^2 X+cos^2 X = 1

    proves the theorem.
     
  5. Jun 3, 2008 #4

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    No it isn't. See above for an elementary counter example.

    In propositional logic (X=>Y) is true whenever X is false.
     
  6. Jun 3, 2008 #5

    Gib Z

    User Avatar
    Homework Helper

    The funny thing here is that you can very easily make this a valid proof, just by writing your lines backwards =] Of course, as already stated, you must have an alternative proof to sin^2 x + cos^2 x = 1, but thats all.
     
  7. Jun 3, 2008 #6

    I suppose that even though the method I used is incorrect, it may be useful to help me see the actual proof.

    Thanks a lot for the replies everyone.


    EDIT: When writing a proof, how far do you have to go? What I mean by this is, I initially wanted to (algebraically) prove that the hypotenuse is always the longest side of a right angle triangle. Would it be sufficient to say that it HAS to be the longest side right-angle triangle because if it were shorter than or equal in length to either of the legs, then it would be impossible for form a triangle?
     
    Last edited: Jun 3, 2008
  8. Jun 3, 2008 #7
    Oh yeah, wow, sorry, I didn't read that correctly. No, it wasn't valid.

    /me feels stupid
     
  9. Jun 3, 2008 #8
    As an example of why it is incorrect, let's consider a similar "proof" that [tex]1=2[/tex].

    Assume [tex]1=2[/tex]. Then [tex]0*1 = 0*2[/tex] and so [tex]0=0[/tex], which is true. Hence [tex]1=2[/tex].

    Or, assume pigs can fly. Since New York is always north of Phoenix, it follows that New York is north of Phoenix. Hence pigs can fly.
     
  10. Jun 3, 2008 #9

    matt grime

    User Avatar
    Science Advisor
    Homework Helper


    That entirely depends on what your purpose of writing the proof is. Is it to convince yourself? An examiner? Someone who can be presumed to have at least as much mathematical sophistication as yourself or less?

    Essentially, though, a proof should consist of a series of logically related (and correct) deductions, inferences, etc, where any omitted steps will be automatically filled in by the reader without any problems. Exactly what you can assume of your reader depends on the situation as I intimated above.
     
  11. Jun 3, 2008 #10

    CRGreathouse

    User Avatar
    Science Advisor
    Homework Helper

    That's a really good response.
     
  12. Jun 11, 2008 #11
    Matt Grimes, I've seen from your posts around here that you're an excellent mathematician, so I hope you can help me out here.

    I am currently a high-school student and want to major in pure mathematics. I will be starting university in September of 2009, not 2008. The following three courses must be taken in my first year:

    Analysis I:

    A theoretical course in calculus; emphasizing proofs and techniques, as well as geometric and physical understanding. Trigonometric identities. Limits and continuity; least upper bounds, intermediate and extreme value theorems. Derivatives, mean value and inverse function theorems. Integrals; fundamental theorem; elementary transcendental functions. Taylor’s theorem; sequences and series; uniform convergence and power series.


    Algebra I:

    A theoretical approach to: vector spaces over arbitrary fields including C,Zp. Subspaces, bases and dimension. Linear transformations, matrices, change of basis, similarity, determinants. Polynomials over a field (including unique factorization, resultants). Eigenvalues, eigenvectors, characteristic polynomial, diagonalization. Minimal polynomial, Cayley-Hamilton theorem.


    Algebra II:

    A theoretical approach to real and complex inner product spaces, isometries, orthogonal and unitary matrices and transformations. The adjoint. Hermitian and symmetric transformations. Spectral theorem for symmetric and normal transformations. Polar representation theorem. Primary decomposition theorem. Rational and Jordan canonical forms. Additional topics including dual spaces, quotient spaces, bilinear forms, quadratic surfaces, multilinear algebra. Examples of symmetry groups and linear groups, stochastic matrices, matrix functions.


    I'm assuming that Analysis I is Real Analysis? And that the two algebras make up Linear Algebra.

    Now, for the past few months I've been studying stuff from Calculus and I'm currently learning improper integrals and I'm making great progress. One of my questions is this:

    I was planning on teaching myself calculus until I've learned the taylor series, power series, etc because I see that those are needed in Real Analysis. However, will I learn these in Real Analysis anyway? So teaching myself it in Calculus first then teaching myself Real Analysis would be kind of redundant? Basically what I'm asking is, should I just go ahead and start learning the Real Analysis, or should I complete the Calculus first?

    Another question I have is do you think it would be wise to teach myself the Linear Algebra while doing the Real Analysis as well or should I just focus on one subject?

    My very last question is since I am going to be majoring in Pure Mathematics and for sure there will be a lot of proofs, should I borrow any books from the library on proof theory?

    I don't want to bite off more than I can chew, but I am a fast learner and a bright kid, so I want to be as productive as possible in my studies.

    All help would be appreciated, thanks.
     
    Last edited by a moderator: Jun 14, 2008
  13. Jun 12, 2008 #12
    The two algebra courses do sound like they'd cover most of what you'll need to know about Linear Algebra.
    The Analysis course however does not sound like it covers what is typically included in a Real Analysis course. A lot of colleges have a kind of introduction to semi-rigorous calculus where you'll learn about analysis as it pertains to the real numbers alone rather than how many of the concepts such as limits, open sets, etc. generalize to metric spaces and where you do not learn too many things about classification of Riemann integrable functions (to give some examples of how the courses would differ). It sounds like this is one of those classes. You will likely take another course that is a more formal and more general introduction to Real Analysis later.
     
  14. Jun 12, 2008 #13
    About the Analysis, should I still study Real Analysis or should I look for a book at my library on just "Analysis"?
     
  15. Jun 12, 2008 #14

    dx

    User Avatar
    Homework Helper
    Gold Member

    Don't try to learn analysis before you know calculus well.
     
  16. Jun 12, 2008 #15
    anyways i was thinking about how you would prove pythagorean theorem. if you use the complex plane, you could start at the origin and have a line going to the point a, a line going to the point bi, and then a line connecting them a - bi. and then you would have to show that a^2 + (bi)^2 = (a - bi)^2. It doesn't though. however, their real components are equal. any thoughts?
     
    Last edited by a moderator: Jun 14, 2008
  17. Jun 12, 2008 #16
    Calculus is based on analysis .analusis on a soft base can help you with calculus,althogh you can learn calculus on its own by simply learnig the formulas of integration and differentiation.Now hard core analysis deals with completeness,compactness,connectedness,continuity,closure etc etc ,whether is on vector,metric,topological etc etc spaces.You nmust realise that among all the courses that you will take in mathematics the most difficult and i dare say the most difficult of all the subjects in the campus ,is hard core analysis.We will talk latter about hard core analysis
     
  18. Jun 14, 2008 #17
    This type of proof leaves no room for imagining things in mathematics or arguing for ever and ever or a teacher in every level to pass wrong proofs to the students because he likes to.For people involved in hard core analysis where a lot of quantification is involved that machinery can solve most of your problems. Of course it takes a little pactise but it is worth while
     
  19. Jun 14, 2008 #18
    What Happened To Pages 3 And 4 They Vanish Into The Thin Air????????????????????????????????????????????????????????????
     
  20. Jun 14, 2008 #19

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    They were moved to a separate thread - your posts had gained a momentum of their own. All your posts are still there, and you can continue your promulgation of whatever your theory is there.
     
  21. Jun 14, 2008 #20
    PROMULGATION ? whats that
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?