Concept understanding — Applications of Dot and Cross Product
The dot product a⋅b=∣a∣∣b∣cosθ and cross product a×b (magnitude ∣a∣∣b∣sinθ, direction perpendicular to both) are not just formulas — placed carefully, they reprove classical geometry theorems and compute two real mechanical quantities.
Vector proofs in geometry and trigonometry. The standard technique: put a convenient point (a triangle's vertex, a circle's centre) at the origin, write every other point as a position vector, and express every needed segment as a difference of position vectors. Then:
Perpendicularity is proved by showing a dot product is 0. E.g. if O is a circle's centre and M is the midpoint of chord AB (position vectors a,b with ∣a∣=∣b∣=r), then OM=2a+b and AB=b−a, and OM⋅AB=21(∣b∣2−∣a∣2)=0.
Equal lengths / rectangles come from expanding ∣p±q∣2=∣p∣2±2p⋅q+∣q∣2 and comparing.
Areas come from area of a parallelogram=∣p×q∣ for adjacent sides p,q; a triangle is half that, and a general quadrilateral with diagonals d1,d2 has area 21∣d1×d2∣ (proved by splitting along one diagonal, since the two triangles on either side add — same-sense cross products — instead of subtracting).
Compound-angle identities (cos(α∓β), sin(α±β)) drop out of dotting or crossing two unit vectors i^cosα+j^sinα and i^cosβ±j^sinβ placed at angles α,±β to the x-axis.
Work done. For a constant force F producing a displacement d, w=F⋅d. With several simultaneous forces, first add them to get the resultant force (and, similarly, use the actual displacement between the two given points as d), then take one dot product.
Torque (moment). For a force F applied at a point with position vector rrelative to the pivot, τ=r×F — a vector, whose magnitude is the turning strength and whose direction (via its direction cosines) is the rotation axis. As with work, combine multiple forces into a resultant first if several forces act at the same point.
Note
Work is a scalar (dot product); torque is a vector (cross product) — mixing the two up is the single most common slip in this topic.
With A as origin, the median AM to base BC of isosceles △ABC (AB=AC) satisfies AM⋅BC=0.
AM=21(b+c), BC=c−b, and ∣b∣=∣c∣.
✓Final answer
AM⋅BC=21(∣c∣2−∣b∣2)=0, so AM⊥BC. ■
Exactly the centre-to-chord argument, with the apex A playing the role of the centre and the two equal sides playing the role of the two equal radii.
Step 1. Set up. Let △ABC be isosceles with AB=AC. Take A as the origin, so AB=b,AC=c with ∣b∣=∣c∣.
Step 2. Median to the base. Let M be the midpoint of BC; then AM=2b+c, and the base itself is BC=c−b.
Step 3. Dot product.
AM⋅BC=2b+c⋅(c−b)=21(∣c∣2−∣b∣2)=0,
since ∣b∣=∣c∣ (given AB=AC).
Step 4. Conclude.AM⊥BC: the median to the base of an isosceles triangle is perpendicular to the base.
✓Final answer
AM⋅BC=21(∣c∣2−∣b∣2)=0 since AB=AC⇒∣b∣=∣c∣; hence AM⊥BC. ■
Origin at the apex; dot the median-vector with the base-vector
Assuming the median from a non-apex vertex instead of the vertex between the two equal sides
Sign slip writing BC as c−b vs b−c (only the sign changes, not the conclusion)