Warning: off-topic mathematics below.
No bridge content in this posting.
It is pretty easy to find the 1/2 root
because of the simple structure
of the characteristic polynomial.
I'll transform it a bit to make it more obvious:
Let y=1/x:
y^(-7) - y^(-6) + (1/128) = 0 | multiply by 128*y^7
128 - 128y + y^7 = 0.
This is a polynomial where all coefficients are integer,
and furthermore the coefficient at the highest power of
y is 1 (or -1).
It is pretty easy to see that any rational solution is
integer (*), and must furthermore be a divisor of 128.
So all you have to do is try all divisors of 128:
1, -1, 2, -2, 4, -4, 8, -8, 16, -16, ..., 128, -128.
(*) To see that any rational solution is integer, consider
y^n + a_(n-1)*y^(n-1) + ... + a_0 = 0,
where all a_i are integer.
Let y=p/q be any non-integer rational solution, where p and
q are integers, have no common divisors, and q>1.
Insert y=y/q, multiply the equation by q^n:
p^n + a_(n-1)*p^(n-1)*q + ... + a_0*q^n = 0.
If you look at this modulo q, p^n mod q is not 0, as
p and q have no common divisors, and all other parts
are zero modulo q. This is a contradiction, and thus
such a non-integer rational solution y=p/q cannot exist.
Thomas