a,bを零でないベクトルとする。
シュヴァルツの不等式で、等号が成り立つのは、a,bが1次従属のときに限ることを示せ。