查了以下，你打问号的式子是向量内积的天然定义式，而问号上面那个式子其实是需要证明才成立的，而且只在标准正交基下才成立。这里直接就默认成立了，当然看起来“多么简洁啊”

【 在 februarys 的大作中提到: 】
: 明白了，谢谢大家！
--
FROM 111.117.114.*