Professional Documents
Culture Documents
Nolan Manteufel
November 19, 2009
Varignon’s Theorem:
Given any quadrangle (A, B, C, D) the midpoints of the sides (P, Q, R, S) form a
parallelogram.
Nolan’s Proof:
Consider each quadrangle vertex as the terminal point of a vector in R2.
1 of 3
Consider the terminal points P, Q, R, S as vectors with an origin of point A.
⎛ B − Ax ⎞ ⎛ C − Bx ⎞ ⎛ D − Ax ⎞ ⎛ C − Dx ⎞
Px = ⎜ x ⎟ Qx = ⎜ x ⎟ + ( Bx − Ax ) Rx = ⎜ x ⎟ Sx = ⎜ x ⎟ + ( Dx − Ax )
⎝ 2 ⎠ ⎝ 2 ⎠ ⎝ 2 ⎠ ⎝ 2 ⎠
⎛ B − Ay ⎞ ⎛ C − By ⎞ ⎛ D − Ay ⎞ ⎛ C − Dy ⎞
Py = ⎜⎜ y ⎟⎟ Qy = ⎜⎜ y ⎟⎟ + ( By − Ay ) Ry = ⎜⎜ y ⎟ S y = ⎜⎜ y ⎟ + ( Dy − Ay )
⎝ 2 ⎠ ⎝ 2 ⎠ ⎝ 2 ⎟⎠ ⎝ 2 ⎟⎠
Consider the quadrangle formed by the terminal points of P, Q, R, S . Notice that this
2 of 3
To show RS = PQ …
RS = RS
= R−S
=< Rx , R y > − < S x , S y >
⎛ C − Dx ⎞ ⎛ C y − Dy
⎞ ⎛ C − Bx ⎞ ⎛ C y − By ⎞
= 〈⎜ x ⎟ + ( Dx − Ax ), ⎜⎜ ⎟⎟ + ( D y − Ay )〉 − 〈⎜ x ⎟ + ( Bx − Ax ), ⎜⎜ ⎟⎟ + ( B y − Ay )〉
⎝ 2 ⎠ ⎝ 2⎠ ⎝ 2 ⎠ ⎝ 2 ⎠
⎛ C + Dx − 2 Ax ⎞ ⎛ C y + D y − 2 Ay ⎞ ⎛ C + Bx − 2 Ax ⎞ ⎛ C y + B y − 2 Ay ⎞
= 〈⎜ x ⎟, ⎜⎜ ⎟⎟〉 − 〈⎜ x ⎟, ⎜⎜ ⎟⎟〉
⎝ 2 ⎠⎝ 2 ⎠ ⎝ 2 ⎠⎝ 2 ⎠
⎛ D − Bx ⎞ ⎛ D y − B y ⎞
RS = 〈⎜ x ⎟, ⎜ ⎟⎟〉
⎝ 2 ⎠ ⎜⎝ 2 ⎠
RS = RS
And
PQ = PQ
=Q−P
=< Qx , Q y > − < Px , Py >
⎛ D − Ax ⎞ ⎛ D y − Ay ⎞ ⎛ B − Ax ⎞ ⎛ B y − Ay ⎞
= 〈⎜ x ⎟, ⎜ ⎟⎟〉 − 〈⎜ x ⎟, ⎜⎜ ⎟⎟〉
⎝ 2 ⎠ ⎜⎝ 2 ⎠ ⎝ 2 ⎠⎝ 2 ⎠
⎛ D − Bx ⎞ ⎛ D y − B y ⎞
PQ = 〈⎜ x ⎟, ⎜ ⎟⎟〉
⎝ 2 ⎠ ⎜⎝ 2 ⎠
PQ = PQ
Therefore:
RS = PQ Q.E.D.
3 of 3