The applet below provides an alternative demonstration to a lemma crucial in a solution to the Four Travelers problem. The lemma reads

 Assume the three travelers P, Q, R meet each other. Then either the roads are concurrent (and the three meet at the same point at the same time) or, at all times, P, Q, and R are collinear.

Let's agree that P, Q, R denote the positions of the travelers at some time t, while P', Q', R' correspond to another time t = t'. The three roads, being in general position, intersect at three points A, B, C. These are the rendezvous points of the travelers. In the applet, triangle ABC and its vertices are draggable, as are the green lines that join the travelers. The green lines, if dragged close to their midpoint, remain parallel to the starting position; for, as we know, the lines joining the travelers remain parallel:

 (1) PQ||P'Q', PR||P'R', QR||Q'R'.

The applet suggests why (1) is impossible, unless the points P, Q, R (and, of course, P', Q' and R' also) are collinear.

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

In geometric terms, let triangle PQR be inscribed in triangle ABC, with P, Q, R on BC, AC, and AB (or their extensions), respectively. Let P' and Q' lie on BC and AC so that PQ||P'Q'. Consider line lP||PR through P' and similarly lQ||QR through Q'. For P', Q' different from PQ, the two lines can't meet on AB because, relative to PR and QR, they moved in different directions.