I was wondering if anyone has or can come up with a proof of $(1+\alpha)^q \geq 1+q\alpha$ with $q>1$ a rational number and $\alpha >0 $ a real number. Bernoulli's inequality is easily proven for natural number exponents using induction and general real exponents using derivatives. I'd like to see if there is an elementary proof that just uses the field axioms and immediate results from them, simple arithmetic, etc. In other words, I just don't want to use differentiation and beyond. Arguments with sequences and convergence would be fine, but I'd still prefer just straight up algebra/arithmetic. Also, we can let $\alpha \geq -1$, but I'm just concerned with positive $\alpha$. Presumably once I have the argument for $\alpha>0$, then it will be easy to extend to allowable negative values. Similarly I'll worry about $0<q<1$ later assuming it is a simple extension of the result for $q>1$.
Let $\alpha>0$ and $n,k\in\mathbb N$ with $q=\frac{n+k}{n}>1$ be the rational exponent we are considering. It's easy to show that $(1+\alpha)^q=1+\delta$ for some $\delta\in\mathbb R$ such that $\delta>\alpha$ and $(1+\alpha)^{n+k}=(1+\delta)^n$ (with rational exponentiation defined precisely in that way).
I have come up with the equation:
$$(1+\alpha)^{\frac{n+k}{n}}=1+\frac{n+k}{n}\alpha \cdot \left[\frac{\frac{1}{n+k}\frac1\alpha\left((1+\alpha)^{n+k}-1\right)}{\frac{1}{n}\frac1\delta\left((1+\delta)^{n}-1\right)}\right].$$
So my thought is to show that the bracketed expression is greater than one. Note that since $(1+\alpha)^{n+k}=(1+\delta)^n$, the expression on the right just simplifies to $1+\delta$ as desired. So it's not some kind of strange result.
I spent some time looking at the $n=2,k=1$ case $(1+\alpha)^\frac32$, but am just stumped and think maybe I'm just venturing down a rabbit hole. Or maybe need to seek more expert input before I waste any more time with this.
Best Answer
You don't need any high-powered machinery to show this. If $q = m/n > 1$, then after raising both sides of our desired inequality to the $n$th power, we get $$(1 + \alpha)^m \geq (1 + q\alpha)^n.$$ Expanding both sides out binomially, and comparing coefficients of $\alpha$, it becomes clear that to demonstrate the inequality for $\alpha > 0$, we just need to check that for any pair of integers $n < m$ and any integer $0 \leq k \leq n$, $$\binom{m}{k} \geq \frac{m^k}{n^k}\binom{n}{k}.$$ This is clearly true when $k = 0$. Otherwise, $$\frac{\binom{m}{k}}{\binom{n}{k}} = \frac{m(m-1)...(m-k+1)}{n(n-1)...(n-k+1)} \geq \frac{m^k}{n^k},$$ since $$\frac{m-i}{n-i} \geq \frac{m}{n}$$ for $0 \leq i < n$.
[The last inequality $\frac{m-i}{n-i} \geq \frac{m}{n}$ is proven by cross-multiplying: $$(m-i)n = mn - ni \geq mn - mi = (n-i)m.]$$