By triangle law,
(Q1Q2)2=(OQ1)2+(OQ2)2−2OQ1⋅OQ2cos(∠Q1OQ2)
(x1−x2)2+(y1−y2)2=x21+y21+x22+y22−2OQ1⋅OQ2cos(∠Q1OQ2)
−2(x1x2+y1y2)=−2OQ1⋅OQ2cos(∠Q1OQ2)
OQ1⋅OQ2cos∠Q1OQ2=x1x2+y1y2