  Based on a variant of Sury's polynomial identity we derive new expressions
for various finite Fibonacci (Lucas) sums. We extend the results to Fibonacci
and Chebyshev polynomials, and also to Horadam sequences. In addition to
deriving sum relations, the main identities will be shown to be very useful in
establishing and discovering divisibility properties of Fibonacci and Lucas
numbers.

Number Theory