มีใครสามารถพิสูจน์ที่มาของ dot product ได้บ้างครับ

จาก a · b = |a| × |b| × cos(θ)
และ a · b = ax × bx + ay × by
แสดงว่า  |a| × |b| × cos(θ) =  ax × bx + ay × by 

พอดีผมพิสูจน์แล้วมันไม่ตรงอ่ะครับ มีใครพอแก้ได้บ้างครับ