Determine whether $p_n$ is decreasing or increasing, if $p_{n+1} = \frac{p_n}{2} + \frac{1}{p_n}$ If $p_1 = 2$ and $p_{n+1} = \frac{p_n}{2}+ \frac{1}{p_n}$, determine $p_n$ is decreasing or increasing.
Here are the first few terms:
$$p_2 = \frac{3}{2}, p_3 = \frac{3}{4} + \frac{2}{3} = \frac{17}{12}, p_4 = \frac{17}{24} + \frac{12}{17} = \frac{577}{408}$$
The sequence seems decreasing to me so I tried to prove it by induction. Need to prove $p_k - p_{k+1} \gt 0$ for all n.
For n = 1, $p_1 - p_2 = 2- \frac{3}{2} = \frac{1}{2} \gt 0$ (true)
However when I tried to prove it for $k+1$, I ran into problems.
Assume $p_k - p_{k+1} \gt 0$ is  true for n =k, then it must be also true for $n =k+1$.
$$p_{k+1} - p_{k+2} = \frac{p_k}{2} + \frac{1}{p_k} - \frac{p_{k+1}}{2} - \frac{1}{p_{k+1}} = \frac{p_k - p_{k+1}}{2} + (\frac{1}{p_k}-\frac{1}{p_{k+1}})$$
but $\frac{1}{p_k}-\frac{1}{p_{k+1}} \lt 0$
I don't know what to do from there.

You have that $p_{n+1} - p_{n} = \frac{1}{p_n}-\frac{p_n}{2}$
So $p_n$ is decreasing if $ \forall n, \frac{1}{p_n} -\frac{p_n}{2} \leq 0$
And this is true if $\forall n, p_n^2 -2 \geq 0$, ie. $p_n > \sqrt{2}$ (as $p_n > 0$ )
You can prove this by induction. First, let's study the function $f(x) = \frac{x}{2}+ \frac{1}{x}$.
$f'(x) = \frac{1}{2}- \frac{1}{x^2}$
So $f$ is decreasing on $[\sqrt{2},+\infty[$. But $f(\sqrt{2}) = 0$, so $\forall x \geq \sqrt{2}, f(x) \geq \sqrt{2}$
Now the induction :
1) it's true for $p_1$. 
2) Suppose $p_n > \sqrt{2}$, then, by what we proved before,
$p_{n+1} = f(p_n) \geq \sqrt{2}$
Hence $\forall n, p_n \geq \sqrt{2}$, and this imply that $p_{n}-p{n+1} \geq 0$
