Prove pa Using Mathematical Induction

  • Thread starter Thread starter evil1
  • Start date Start date
  • Tags Tags
    Induction
AI Thread Summary
The discussion focuses on proving the inequality pa: n-2 < (n^2 – 3n)/12 for all integers n greater than 14 using mathematical induction. The base case for n = 14 is verified, showing that 12 < 12.83 holds true. The inductive step involves assuming the hypothesis is true for k and proving it for k+1. The proof begins by simplifying the expression for k+1 and aims to demonstrate that the inequality holds. Participants are seeking guidance on completing the proof, particularly in handling the algebraic manipulation required.
evil1
Messages
2
Reaction score
0
In fact pa is true for all integers n greater than a particular base value and you should complete the proof given below to use the principle of mathematical induction to prove this.

pa : n-2 < (n^2 – 3n)/12

Base case is n = 14
Because: n-2 < (n^2 – 3n)/12
14-2 < (196-42)/12
12 < 154/12
12 < 12.83

Inductive step
Inductive Hypothesis : Assume pa(k) is true for some k > 10. Thus k-2 <(k^2 – 3k)/12.

We must prove that pa(k+1) is true i.e. that (k+1)-2 < ((k+1)^2 – 3(k+1))/12

Now to prove such an inequality we always start with the more complicated side:
((k+1)^2 – 3(k+1))/12 = (k^2 + 2k +1 – 3k – 3)/12

= (k^2 – 3k)/12 + (2k-2)/12

> ...?... + (2k-2)/12 ……(b) because

> ..?.... because





This is the question i have been given to do although no idea on how to to finish it any ideas anyone ?

thanks
 
Physics news on Phys.org
https://www.physicsforums.com/showthread.php?s=&postid=109155#post109155
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top