Trouble understanding inequality proved using AM-GM inequality I am studying this proof from Secrets in Inequalities Vol 1 using the AM-GM inequality to prove this question from the 1998 IMO Shortlist. However, I'm lost on the very first line of the solution. 

Let $x,y,z$ be positive real numbers such that $xyz =1$. Prove that 
  $$
 \frac{x^3}{(1+y)(1+z)} + \frac{y^3}{(1+z)(1+x)} + \frac{z^3}{(1+x)(1+y)} \ge \frac{3}{4}
$$

Using AM-GM in the following form:
$\frac{x^3}{(1+y)(1+z)} + \frac{1+y}{8} + \frac{1+z}{8} \ge \frac{3x}{4}$. 
Now, this is where I get lost. Where was this expression derived from?
We conclude that
$\sum_{cyc}\frac{x^3}{(1+y)(1+z)} + \frac{1}{4}\sum_{cyc}(1+x) \ge \sum_{cyc}\frac{3x}{4} \rightarrow \sum_{cyc}\frac{x^3}{(1+y)(1+z)} \ge \frac{1}{4}\sum_{cyc}(2x-1) \ge \frac{3}{4}$
The equality holds for $x=y=z=1$

Let me try to cover the motivation for writing something like
$$\frac{x^3}{(1+y)(1+z)} + \frac{1+y}8 + \frac{1+z}8$$
for doing AM-GM, seemingly out of the blue.
We obviously start with the first term.  Now clearly, to get rid of the denominator, it would be great to consider the terms $(1+y)$ and $(1+z)$. As there is $x^3$ in the numerator, we can use these as separate terms to do a three term AM-GM, to get a simple $x$ term after the AM-GM.  An equally good alternative would be to use the single term $(1+y)(1+z)$ and do a two term AM-GM.  So far so good.
Now note that AM-GM will have equality iff all terms are equal.  However we know equality is when $x=y=z=1$. We have to maintain this equality possibility in each step taken in the proof, otherwise it cannot hold finally.  This leads immediately to having the coefficient $\frac18$ attached to the second and third terms, so that the value of all three terms are the same, viz. $\frac14$ when $x=y=z=1$.  Now you have the right set of terms to do the AM-GM!
