力矩矢定义如图,定义推导时有提到r*F矢积的模等于2△OAB,怎么证明?