• 検索結果がありません。

However, computations involving the inverses of binomial coefficients are often difficult

N/A
N/A
Protected

Academic year: 2022

シェア "However, computations involving the inverses of binomial coefficients are often difficult"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)

SOME RESULTS FOR SUMS OF THE INVERSES OF BINOMIAL COEFFICIENTS

Feng-Zhen Zhao

Department of Applied Mathematics, Dalian University of Technology, Dalian, 116024, China

Tianming Wang

Department of Applied Mathematics, Dalian University of Technology, Dalian, 116024, China

Received: 7/15/04, Revised: 8/11/05, Accepted: 9/26/05, Published: 10/11/05

Abstract

In this paper, the authors establish some identities involving inverses of binomial coefficients and generalize an identity.

1. Introduction

For convenience, we first give some notation. The binomial coefficients are defined by n

m

=

n!

m!(n−m)!, n ≥m,

0, n < m,

where n and m are nonnegative integers.

Binomial coefficients are classical combinatorial numbers, which play an important role in many subjects such as probability, statistics, and number theory. There are many identities related to binomial coefficients. However, computations involving the inverses of binomial coefficients are often difficult. For previous literature dealing with identities related to the in- verses of binomial coefficients, see [1–7]. In this paper, we offer some new identities involving inverses of binomial coefficients. To do so, we shall make use of the following formula (see [2])

n k

1

= (n+ 1) 1

0

tk(1−t)nkdt. (1)

In particular, we generalize the well-known identity (due to Euler)

n=1

1 n22n

n

= π2

18. (2)

(2)

2. Main Results

In this section, we give the main results of this paper.

Theorem Letm be a positive integer. Then

n=1

1 n22mn

mn

=−m 2

1 0

ln[1−tm(1−t)m]dt

t(1−t) , (3)

n=1

(−1)n n22mn

mn

=−m 2

1 0

ln[1 +tm(1−t)m]dt

t(1−t) , (4)

n=1

1 n2(n+ 1)2mn

mn

=−m 2

1 0

ln[1−tm(1−t)m]dt t(1−t) +m

2 1

0

tm(1−t)m+ ln[1−tm(1−t)m]

tm+1(1−t)m+1 dt, (5)

n=1

(1)n n2(n+ 1)2mn

mn

=−m 2

1 0

ln[1 +tm(1−t)m]dt t(1−t) +m

2 1

0

tm(1−t)mln[1 +tm(1−t)m]

tm+1(1−t)m+1 dt. (6) Proof. We first prove (3). By definition, we have

n=1

1 n22mn

mn

= m 2

n=1

1

n(2mn−1)2mn2

mn1

= m 2

n=0

1

(n+ 1)(2mn+ 2m1)2mn+2m2

mn+m1

.

It follows from (1) that n=1

1 n22mn

mn

= m 2

n=0

1 n+ 1

1 0

tmn+m1(1−t)mn+m1dt.

Noticing that

n=0

tmn+m(1−t)mn+m

n+ 1 =ln[1−tm(1−t)m] (7) converges uniformly fort [0,1], we have (3).

(3)

Now we show that (5) holds.

n=1

1 n2(n+ 1)2mn

mn

= m 2

n=1

1

n(n+ 1)(2mn1)2mn2

mn1

= m 2

n=1

1 n(n+ 1)

1

0

tmn1(1−t)mn1dt

= m 2

n=1 1

0 tmn1(1−t)mn1dt

n

n=1

1

0 tmn1(1−t)mn1dt n+ 1

.

By using (7), we have n=1

1 n2(n+ 1)2mn

mn

=−m 2

1 0

ln[1−tm(1−t)m]dt t(1−t) +m

2 1

0

tm(1−t)m+ ln[1−tm(1−t)m] tm+1(1−t)m+1 dt.

The proofs of equalities (4) and (6) follow the same pattern and are omitted. 2 To see that (3) is a generalization of (2), let I(a) =1

2 1

0

ln[1−at(1−t)]dt

t(1−t) (0≤a≤ 1).When a >0,

I(a) = 1 2

1 0

dt

at2 −at+ 1 = 2 a

a

4−aarctan a

4−a. Then I(a) = 2

arctan a

4a

2

+c, where c is a constant. Since lim

a0I(a) = 0, we get I(a) = 2

arctan

a 4−a

2

. Hence, n=1

1 n22n

n

=I(1) = π2 18.

By computing the integrals in (4)-(6), we can obtain other identities involving inverses of binomial coefficients. For example, if m= 1 in (4), we have

n=1

(1)n n22n

n

=1 2

1 0

ln[1 +t(1−t)]dt t(1−t) .

Put J(a) = 1 2

1 0

ln[1 +at(1−t)]dt

t(1−t) (0≤a≤1). When a >0, J(a) = 1

2 1

0

dt

at2−at−1 = 1

√a2+ 4aln

√a+ 4−√

a

a+ 4 + a

.

(4)

Using some calculus, we find that J(a) = 1

2

ln

√a+ 4−√

a

a+ 4 + a

2

+c1. Since lim

a0J(a) = 0, we have thatc1 = 0. Thus

n=1

(1)n n22n

n

=J(1) =2

ln

51 2

2

. (8)

Let

K(a) = 1 2

1 0

at(1−t)−ln[1 +at(1−t)]

t2(1−t)2 dt (0≤a≤1).

Then, when 0< a≤1,

K(a) = −a 2

1

0

dt at2−at−1. By calculus, we obtain

K(a) =

√a

√a+ 4

ln

a+ 4 a 1

ln

a+ 4 a + 1

,

K(a) = −√

a+ 4 +

a

a+ 4−√ aln

a+ 4−√

a

a+ 4 + a

+

√a+ 4 +

a

a+ 4−√ a +

ln

a+ 4−√

a

a+ 4 + a

2

√a+ 4−√

a

a+ 4 + aln

a+ 4−√

a

a+ 4 + a

+

√a+ 4−√

a

a+ 4 + a

+c2. Because lim

a0K(a) = 0, we find that c2 = 2. By means of (8), we have

n=1

(1)n n2(n+ 1)2n

n

=6

ln

51 2

2

−√ 5 ln

3−√ 5 2

1.

In the same way, from (5) we obtain

n=1

1 n2(n+ 1)2n

n

=

3π 3 π2

181.

Acknowledgment

The authors wish to thank the anonymous referee for his/her valuable suggestions for this paper.

(5)

References

1. Nicolae Pavelescu. “Problem C:1280.” Gaz. Mat. 97.6(1992): 230.

2. Juan Pla. “The Sum of Inverses of Binomial Coefficients Revisited.” The Fibonacci Quarterly35.4 (1997): 342–345.

3. Andrew M. Rockett. “Sums of the Inverses of Binomial Coefficients.” The Fibonacci Quarterly19.5 (1981): 433–437.

4. B. Sury. “Sum of the reciprocals of the Binomial Coefficients.” European J. Combin. 14.4(1993):

351–353.

5. Tiberiu Trif. “Combinatorial Sums and Series Involving Inverses of Binomial Coefficients.” The Fibonacci Quarterly38.1(2000): 79–84.

6. WMC Problems Group. “Problem 10494.” Amer. Math. Monthly103.1(1996): 74.

7. B. Sury, Tianming Wang, and Feng-Zhen Zhao. “Identities Involving Reciprocals of Binomial Coeffi- cients.”Journal of Integer Sequences7(2)(2004): Article 04.2.8.

参照

関連したドキュメント

Examples of IVT-functions on [0,1] are polynomials and power series with real coefficients and with finite first derivative throughout the interval, functions that are

Since the augmented Tchebyshev transform of a lower Eulerian poset is lower Eulerian, in the case of lower Eulerian binomial posets we obtain a particularly elegant rule: to invert

The method employed to prove indecomposability of the elements of the Martin boundary of the Young lattice can not be applied to Young-Fibonacci lattice, since the K 0 -functor ring

The following external characterization of non-metric continua which admit a Whitney map for C(X) is given in [12, Theorem 2.3] and uses hereditarily irreducible mappings.. Theorem

Similar results are derived for a different family of parallel hyperplanes and the cube, which give rise to the analogue of Eulerian numbers for the hyperoctahedral group.. This

Abstract The binomial ideal associated with the intersection axiom of conditional probability is shown to be radical and is expressed as an intersection of toric prime ideals..

In this note we introduce a new method to proving and discovering some identities involving binomial coefficents and factorialsk.

The main subject of this paper is to explain why N = 8n + 2 and M = 4n + 3 are the best choices in such expansions, and also to obtain general form of these expansions, especially