Proofs with vectors
Proofs with vectors
Theorems about parallel lines, about ratios between segments and about meeting points are proved like this:
- choose two independent vectors leaving the same point (in space – three);
- express the vectors in the claim with them;
- parallel: one vector is a multiple of the other, – and the number is also the ratio of the lengths;
- meeting point and ratios: express the same vector in two ways and compare coefficients;
- the same point: two points have the same vector from a fixed point.
In the triangle , is the midpoint of and the midpoint of . We prove: and .
The proof below expresses and with and .
- and .
- .
- is a multiple of , so and .
The diagonals of the quadrilateral bisect each other at the point . We prove: is a parallelogram.
The proof below shows that .
- is the midpoint of and of , so and .
- .
- .
- : the sides and are parallel and equal, so is a parallelogram.
In the triangle : , .
is on and ; is on and .
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
Prove that and .
In the quadrilateral : , , and .
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
Prove: in a parallelogram the diagonals bisect each other.
In the trapezoid (): , , and .
is the midpoint of the diagonal , and the midpoint of the diagonal .
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power
What can you conclude about ? Compare its length to the difference of the bases .
is a quadrilateral – perhaps not in one plane. is the midpoint of , and the midpoint of .
, .
- Prove: . (Hint: express along a path through and , and along a path through and , and add.)
- What do you get when is a trapezoid and ?
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power
/ – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power