#8 第3章附加题1

设  是  个正数，证明：由 =(\sum_{i=1}^{n}{a_i}x_i^2)^\frac{1}{2}) 定义的函数  是一个范数。