Ta có:
AB→2.AC→2=AB2.AC2
(AB→.AC→)2=(AB.AC.cos(AB→,AC→))2
với cos(AB→,AC→)=BAC
=>AB→2.AC→2−(AB→.AC→)2 = AB2.AC2(1−cos2BAC)=AB2.AC2(sin2BAC)
Suy ra: 12AB→2.AC→2−(AB→.AC→)2=12AB.AC.sin2BAC=SABC