Why are parallel lines a problem in Euclidean Geometry I am reading the book Multiple View Geometry in Computer Vision, 2e, 2003 by Hartley and Zisserman.  In the introductory 1st chapter, it states "Euclidean geometry is troublesome" and goes on to explain that "two lines almost always meet in a point, but there are pairs of lines that do not do so - those that we call parallel."  
Why is this a sticking point?  The text doesn't really explain it (except to say that there is a "difficulty with infinity"), and I don't have the necessary mathematical background to understand it.
 A: It would have been nice if there was an intersection point of any two lines. In that case, it wouldn't have been necessary to say things like 'let X be the point of intersection of lines $k$ and $l$ (or $X=k\cap l$), which exists because $k$ and $l$ are not parallel', because the condition is then always true. There are other geometries for which every pair of lines (or the equivalent objects in those geometries) always have exactly one point of intersection, like the projective geometry.
A: It was suspected for perhaps more than two thousand years that one could prove, using more basic facts, the following:


*

*If $\ell$ is a line and $P$ is a point not on $\ell$, then there is exactly one line passing through $P$ that is parallel to $\ell$.


If I recall correctly, it was not until about two centuries ago that it was shown that that cannot be done.
The reason can be seen in part by thinking about the Poincaré disk model.  If one could prove the proposition above using those putatively more basic axioms, then the same proof would show that the curves in the Poincaré disk model that serve in the role in which lines serve in Euclidean geometry also satisfy the proposition above, since those more basic axioms are still true in the Poincaré disk model with those curves in place of lines. But the proposition above is not true in the Poincaré disk model.  Nor is it true in the real projective plane, in which no two lines are parallel, even those the real projective plane also satisfies those more basic axioms.
