Induction proof of harmonic triangle formula

Click For Summary
SUMMARY

The forum discussion centers on the induction proof of the harmonic triangle formula, specifically the formula L(r, c) = 1/(c * binom(r - 1, c - 1)). A user seeks assistance in completing the proof by induction, focusing on demonstrating that if L(k, c) holds, then L(k + 1, c) must also hold. Another participant identifies a potential error in the formula as presented on Wikipedia, suggesting it should be L(r, c) = 1/(r * binom(r - 1, c - 1)), and references Mathworld for clarification.

PREREQUISITES
  • Understanding of induction proofs in mathematics
  • Familiarity with harmonic triangles and their properties
  • Knowledge of binomial coefficients and Pascal's triangle
  • Basic mathematical notation and terminology
NEXT STEPS
  • Study induction proofs in combinatorial mathematics
  • Research the properties of harmonic triangles and their applications
  • Examine the relationship between binomial coefficients and harmonic numbers
  • Review alternative resources like Mathworld for mathematical definitions and corrections
USEFUL FOR

Mathematicians, students studying combinatorics, and anyone interested in proofs involving harmonic triangles and binomial coefficients.

timothychoi
Messages
5
Reaction score
0
Hello. In the Wiki entry for "Leibniz harmonic triangle" there one
can find a formula

L(r, c) = 1/(c * binom(r - 1, c - 1))

where L(r, c) is the entry in the harmonic triangle and the
binom() is the usual binomial notation (or the entry from
Pascal triangle). I tried to prove the assertion using indunction
on n, then I was not able to finish. Can someone prove
the assertion using induction on n? Only the last step, that
is assuming that

L(k, c) = 1/(c * binom(k - 1, c - 1))

and showing that

L(k + 1, c) = 1/(c * binom((k + 1) - 1, c - 1)),

will be sufficient. Thank you.
 
Mathematics news on Phys.org
timothychoi said:
Hello. In the Wiki entry for "Leibniz harmonic triangle" there one
can find a formula

L(r, c) = 1/(c * binom(r - 1, c - 1))

where L(r, c) is the entry in the harmonic triangle and the
binom() is the usual binomial notation (or the entry from
Pascal triangle). I tried to prove the assertion using indunction
on n, then I was not able to finish. Can someone prove
the assertion using induction on n? Only the last step, that
is assuming that

L(k, c) = 1/(c * binom(k - 1, c - 1))

and showing that

L(k + 1, c) = 1/(c * binom((k + 1) - 1, c - 1)),

will be sufficient. Thank you.

I think that should be

L(r, c) = 1/(r * binom(r - 1, c - 1))

-evidently an error on Wikipedia. Compare the entry on Mathworld:

http://mathworld.wolfram.com/LeibnizHarmonicTriangle.html
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
5
Views
3K