西安毛子科技大学三XIDIAN UNIVERSITY当α、β线性相关时，不妨设α=kβ于是，[(α,β)|=(kβ,β)|=k(β,β)|=[kβ2[αβ| = [kβ[[β| = [Kβ2: [(α,β)]=αβ.(5)式等号成立.反之，若（5）式等号成立，由以上证明过程知(α,β)或者 β=0，或者B=0(β,β)也即 α、β线性相关§9.1 定义与基本性质 当   、 线性相关时，不妨设   = k 于是， 2 ( , ) ( , ) ( , ) .        = = = k k k 2      = = k k  = ( , ) .     (5)式等号成立. 反之，若（5）式等号成立，由以上证明过程知 或者  = 0 ，或者 ( ) ( ) , 0 ,       − = 也即  、 线性相关