请教一道关于线性空间模长的证明题。

题目如下，主要是第二问的证明：

好题,好资料.
我已抄写下来.

别抄完题就走了哈。
记得把答案留下来啊

第(1)问,直接按欧氏空间的定义,逐条验证,那个是内积.
第(2)问,正在考虑中.

第(2)问,我已证出,转换,各种交代较长.
我已写出,再过几天才能制出电子版.

(2)的系数,可以改进为1/2 .

哎呀。现在等着急用呢。能否先把证明过程写出来。我自己先琢磨，不懂的地方再请教你哈。

对(2)我先提示一个大概.

(1)在此内积下,矩阵的模是其所有元素的平方和的开方,把矩阵写成由列向量的表示,对列向量模给一种记号.
(2)算||P+Q||^2>=||P||^2+||Q||^2,,用到Tr(PQ)>=0;

(3)将Q写成由列向量的表示,将P写成由行向量的表示,用分块法计算出PQ,PQ的元素是两个向量的内积表示,套(1)步,写出||PQ||,
放大不等式,用到一下两个纯向量内积的柯西不等式,然后就明确了.

我已经写出来第二问了。你检查一下，有没有什么问题。

好费劲啊。汗。。。。

给你提供附件，你好好编辑一下，然后给出正确答案哈。