grandes-ecoles 2011 Q6
View
Let $x , y \in C ^ { 1 } \left( \left[ 0 , + \infty \left[ ; \mathbb { R } ^ { n } \right) \right. \right.$. Prove that $$\forall t \in \left[ 0 , + \infty \left[ , \frac { d } { d t } ( \langle A x ; y \rangle ) ( t ) = \left\langle A x ^ { \prime } ( t ) ; y ( t ) \right\rangle + \left\langle A x ( t ) ; y ^ { \prime } ( t ) \right\rangle \right. \right.$$