Differentiate inner product on a element of a vector

Question

I want to prove following lemma.

Require Import Coq.Reals.Reals.
Require Import Psatz.
Require Import CoLoR.Util.Vector.VecUtil.
Require Import Coquelicot.Coq