Non sequential proof by induction

  • Thread starter Thread starter Link
  • Start date Start date
  • Tags Tags
    Induction Proof
Click For Summary
SUMMARY

The discussion focuses on delivering a proof by induction for a relation R(n,k) involving two variables. The proof strategy outlined includes establishing the base case R(1,1), proving the inductive step for k, and then extending the proof to n. The steps confirm that if R(n',k) holds, then R(n'+1,k) also holds, leading to the conclusion that R(n,k) is true for all n and k. This method effectively demonstrates the validity of the relation through structured induction.

PREREQUISITES
  • Understanding of mathematical induction principles
  • Familiarity with two-variable relations in mathematics
  • Basic knowledge of logical reasoning and proof techniques
  • Ability to interpret mathematical expressions and relations
NEXT STEPS
  • Study the principles of mathematical induction in depth
  • Explore proofs involving multiple variables in combinatorics
  • Learn about recursive relations and their proofs
  • Investigate advanced topics in mathematical logic and proof theory
USEFUL FOR

Mathematicians, educators, and students interested in advanced proof techniques, particularly those focusing on induction and multi-variable relations.

Link
Messages
132
Reaction score
1
I have established the relation that


http://www.geocities.com/jake_lloyd007/matrix.JPG



but how do you deliver a proof by induction for 2 variables?
 
Last edited:
Physics news on Phys.org
I can't say I understand the relation, but if you're trying to prove something of the form: For all n and k, R(n,k) where R(n,k) would be the sentence that you have in your picture (i.e. the expression above "n = 1,2,3,..."); then you can prove that:

1) The sentence R(1,1) is true
2) If the sentence R(1,k') is true then R(1,k'+1) is true
3) Conclude that for all k, R(1,k) is true
4) Show that if, for all k, R(n',k) is true then for all k, R(n'+1,k) is true
5) Conclude that for all n, and for all k, R(n,k) is true.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K