Home » Uncategorized

Two Beautiful Mathematical Results

These results are relatively easy to prove (first year college-level calculus needed) and could be a good test to refresh your math skills. We posted another simple one (with a probabilistic / number theory flavor) a while back, see here.

Two Beautiful Mathematical Results

Prove the following:

Two Beautiful Mathematical Results

where g = 0.5772156649… is the Euler–Mascheroni constant.

Solution:

Let us introduce the function f(x), defined as follows: 

Two Beautiful Mathematical Results

The answer to the first question is simply –f(-1). How do we compute it? Here is the key:

Two Beautiful Mathematical Results

An exact solution is available for this integral (I computed similar integrals as exercises during my last high school year), and the result can be found here. This WolframAlpha tool allows you to automatically make the cumbersome but simple, mechanical, boring computations. The result involves logarithms and Arctan( (2x+1) / SQRT(3) ) which has know values (a fraction of Pi) if x = 0, 1 or -1. 

To answer the second question, one can use generalized harmonic numbers H(x) with x = 1/3 (see details here) together with the well known asymptotic expansion for the diverging harmonic series (this is where the Euler–Mascheroni constant appears.) The mechanics behind this are as follows. Consider A = B + C, with 

Two Beautiful Mathematical Results

Both A and B diverge, but C converges. We are interested in an asymptotic expansion, here, for A. The asymptotic expansion for B is well known: It involves the Euler–Mascheroni constant , and (log n) / 3. The computations for C is linked to the function f(x) as x tends to 1, and brings in the other numbers in the final result: log(3), and Pi / SQRT(3).

Note that if we define h(x) asTwo Beautiful Mathematical Results

then C = h(1) and g(x) can be computed using a technique and integral very similar to that used for f(x).

Generalization:

The idea is to decompose a function g(x) that has a Taylor series, into three components. It generalizes the well known decomposition into two components: The even and odd part of g. It goes as follows:

Two Beautiful Mathematical Results

where the a‘s are the Taylor coefficients. 

Related article:

For related articles from the same author, click here or visit www.VincentGranville.com. Follow me on LinkedIn.

DSC Resources