向量运算法则的两道证明题(λa)·b=λ(a·b)=a·(λb)

设:a=(x,y),b(m,n)
(λa)b(λx,λy)(m,n)(λxm+λyn)λ(xm+ym)λ(ab)
(xλm+yλn)(x,y)(λm,λn)a(λb)
ab=acab-ac=0a(b-c)=0a⊥(b-c)