Petri Mengoli Fraction Inequality

Posted:

In my previous post, "On the Addition of Fractions, by Petri Mengoli", I wrote that the following inequality holds, with no proof:

11n+1n+1n+1>3n\frac{1}{1-n} + \frac{1}{n} + \frac{1}{n + 1} > \frac{3}{n}

If we don't assume a specific value for the numerator of the right hand side of the inequality, we can derive the inequality by starting with

11n+1n+1n+1>an.\frac{1}{1-n} + \frac{1}{n} + \frac{1}{n + 1} > \frac{a}{n}.

Multiply through by nn:

n1n+bn+1+1>a.\frac{n}{1-n} + \frac{b}{n + 1} + 1 > a.

Set a common denominator for the left hand side:

n(n+1)+n(n1)(n1)(n+1)>a1\frac{n(n+1) + n(n-1)}{(n-1)(n+1)} > a - 1

Expanding the expression

n2+n+n2nn21>a1\frac{n^2 + n + n^2 - n}{n^2 - 1} > a - 1

And simplifying

2n2n21>a1\frac{2n^2}{n^2 - 1} > a - 1

We notice that when n>1|n| > 1, the left hand side of the expression is always positive.

If we let nn\to\infty, then we see that

limn2n2n21=Hlimn4n2n=2\lim_{n\to\infty} \frac{2n^2}{n^2 - 1} \overset{\mathrm{H}}{=} \lim_{n\to\infty} \frac{4n}{2n} = 2

through the use of L'Hospital's rule. We find that as nn\to\infty, the value of n is always positive and a value greater than 2.

If we slightly re-arrange, we find the following:

2n2n21+1>a\frac{2n^2}{n^2 - 1} + 1 > a

And now knowing that the left hand side approaches 3 from above as nn\to\infty, we know that aa can be set to 33 as the largest value that still satisfies the expression.

Hence, we find that the original inequality posited holds.