# Tagged: Vandermonde determinant

## Problem 590

Let $C[-1, 1]$ be the vector space over $\R$ of all continuous functions defined on the interval $[-1, 1]$. Let
$V:=\{f(x)\in C[-1,1] \mid f(x)=a e^x+b e^{2x}+c e^{3x}, a, b, c\in \R\}$ be a subset in $C[-1, 1]$.

(a) Prove that $V$ is a subspace of $C[-1, 1]$.

(b) Prove that the set $B=\{e^x, e^{2x}, e^{3x}\}$ is a basis of $V$.

(c) Prove that
$B’=\{e^x-2e^{3x}, e^x+e^{2x}+2e^{3x}, 3e^{2x}+e^{3x}\}$ is a basis for $V$.

## Problem 374

Let $A=\begin{bmatrix} a_0 & a_1 & \dots & a_{n-2} &a_{n-1} \\ a_{n-1} & a_0 & \dots & a_{n-3} & a_{n-2} \\ a_{n-2} & a_{n-1} & \dots & a_{n-4} & a_{n-3} \\ \vdots & \vdots & \dots & \vdots & \vdots \\ a_{2} & a_3 & \dots & a_{0} & a_{1}\\ a_{1} & a_2 & \dots & a_{n-1} & a_{0} \end{bmatrix}$ be a complex $n \times n$ matrix.
Such a matrix is called circulant matrix.
Then prove that the determinant of the circulant matrix $A$ is given by
$\det(A)=\prod_{k=0}^{n-1}(a_0+a_1\zeta^k+a_2 \zeta^{2k}+\cdots+a_{n-1}\zeta^{k(n-1)}),$ where $\zeta=e^{2 \pi i/n}$ is a primitive $n$-th root of unity.

## Problem 73

Let $c_1, c_2,\dots, c_n$ be mutually distinct real numbers.

Show that exponential functions
$e^{c_1x}, e^{c_2x}, \dots, e^{c_nx}$ are linearly independent over $\R$.