How to rigorously prove that the diagonals of a parallelogram are never parallel? It is...
How to rigorously prove that the diagonals of a parallelogram are never parallel? It is intuitively obvious, but since it is not an axiom, it is a proposition that needs to be proved. I would like to see a proof without using analytic geometry, but only the old methods of Euclidean synthetic geometry.
Answer & Explanation
The diagonals of a parallelogram bisect each other. That is, they intersect each other at their midpoints, and so can not be parallel. A proof of the bisection property is based on the two families of lines parallel to the sides of the parallelogram. Any member of one family intersect any member of the other family. Given any pair of opposite sides of the parallelogram, joining the midpoints of the opposite sides gives a member of the opposite family. Do this for the other pair of opposite sides and the two lines intersect in the midpoint of the parallelogram. This point is also the midpoint of the two diagonals.
By the way, notice that being a parallelogram is an affine property, and so is being a midpoint of a line segment. Also, every parallelogram is affinely equivalent to a square. Thus, it is enough to prove that the diagonals of any square bisect each other.
Let ABCD be a parallelogram, AC and BD are its diagonals. Assume that . Now, and Now we can move from A to B to D to C to A, without intersecting any other line at points other than A, B, C, D. Here we have got an another parallelogram named ABDC, which is not possible since 4 points define a unique quadrilateral (convex) . Hence, our assumption is wrong AC can't be parallel to BD.