Results 1 to 3 of 3

Math Help - phylosophy problem - proveing strategy

  1. #1
    Junior Member
    Joined
    Oct 2008
    Posts
    56

    phylosophy problem - proveing strategy

    Hi,


    I am reading this book and there is an attempt to prove a concept by describin it and it is pretty vague what technique the writter is using to prove it. I mannaged to break his "proof" into variables and statements. so i have 4 variables


    y_{c}, x_{c}, k, c


    and the statemant the author is trying to prove is

    \forall x_{c} \in Z_{+}, y_{c} \geq x_{c}-k+1

    the tricky part is that it appears the following statements hold
    c>0, y_{c} =c

    c=1, x_{c} = c+k+1
    and
    c>1,  x_{c-1} +k +1\geq x_{c}\geq x_{c-1}
    but are not given in his formulation of what i call " his lemma".


    so since i am new to discrete math, then if there is no clear formulation of the problem i don't know what strategy should i choose to prove the statement, i need some help.


    my question is : To prove the statement, should i break it into cases? or is this a clasical case where one shoul use induction and treat c=1 as base case ? but what is the induction hypothesis then?. And how, one should formulate the statement correctly if one know the above stated facts.

    As you can see I am confused. I would love to post the original text but it is in Macedonian and it is about the beauty of the mountain. so i doubt that anyone would invest his/hers time to break it into pieces and mess with it.

    thank you in advance

    baxy
    Last edited by baxy77bax; June 3rd 2014 at 11:08 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,443
    Thanks
    1863

    Re: phylosophy problem - proveing strategy

    Quote Originally Posted by baxy77bax View Post
    Hi,


    I am reading this book and there is an attempt to prove a concept by describin it and it is pretty vague what technique the writter is using to prove it. I mannaged to break his "proof" into variables and statements. so i have 4 variables


    y_{c}, x_{c}, k, c


    and the statemant the author is trying to prove is

    \forall x_{c} \in Z_{+}, y_{c} \geq x_{c}-k+1
    ??? That is NOT a "provable statement" because you have not said what y_c is. Did you

    the tricky part is that it appears the following statements hold
    c>0, y_{c} =c-k+1
    c=1, x_{c} = c-k+1
    and
    c>1,  x_{c-1} -k +1\geq x_{c}\geq x_{c-1}
    but are not given in his formulation of what i call " his lemma".


    so since i am new to discrete math, then if there is no clear formulation of the problem i don't know what strategy should i choose to prove the statement, i need some help.


    my question is : To prove the statement, should i break it into cases? or is this a clasical case where one shoul use induction and treat c=1 as base case ? but what is the induction hypothesis then?. And how, one should formulate the statement correctly if one know the above stated facts.

    As you can see I am confused. I would love to post the original text but it is in Macedonian and it is about the beauty of the mountain. so i doubt that anyone would invest his/hers time to break it into pieces and mess with it.

    thank you in advance

    baxy[/QUOTE]
    The first thing you need to do is specify the statement to be proven more clearly. Was there no condition on " y_c"?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,935
    Thanks
    784

    Re: phylosophy problem - proveing strategy

    Yes, induction would be easiest.

    You write c=1, x_c = c+k+1. This can be simplified further: x_1 = 2+k.

    So, you want to show the base case (when c=1) that y_1 \ge x_1-k+1 = 2+k-k+1 = 3, so this fails for c=1. Let's change x_1. If x_1=k, then y_1=1 \ge x_1-k+1 = k-k+1=1 is true.

    So, assume y_c \ge x_c-k+1 for some positive integer c. Then, you want to show y_{c+1} \ge x_{c+1}-k+1. Since x_c \le x_{c+1} \le x_c+k+1, you know that x_{c+1}-k+1 \le x_c+k+1-k+1 = (x_c-k+1)+k+1 \le y_c+k+1 = y_{c+1}+k. So, if k>0 and x_{c+1} = x_c+k+1, then again, this fails.

    So, start very plainly with what you are trying to prove. So far, what you have stated cannot be proven.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Problem-Solving Strategy
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: October 20th 2012, 09:19 AM
  2. sampling strategy
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: August 6th 2010, 01:45 AM
  3. expected value strategy
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: April 10th 2010, 10:12 AM
  4. pure strategy
    Posted in the Advanced Applied Math Forum
    Replies: 3
    Last Post: October 16th 2008, 02:24 PM
  5. Roulette Strategy
    Posted in the Statistics Forum
    Replies: 29
    Last Post: September 30th 2008, 08:10 AM

Search Tags


/mathhelpforum @mathhelpforum