## Re: [EMHL] cross-ratio

Expand Messages
• ... Pappus originally proved it in his Lemmas to the Porisms of Euclid, beginning with Lemma III ( Collection Book VII Prop.129). He considered several
Message 1 of 2 , Apr 22, 2012
On 22-4-2012, at 7.48 AM, Luís Lopes wrote:

> ….
> Now I wonder how to prove (synthetically?) that
>
> (ABCD) = (A'B'C'D')
>
>
> http://www.cut-the-knot.org/pythagoras/Cross-Ratio.shtml
> ….

Pappus originally proved it in his Lemmas to the Porisms of Euclid, beginning with Lemma III ("Collection" Book VII Prop.129). He considered several cases allowing for parallels to occur. (Modern use of the line at infinity reduces them to one case.) His proofs also introduced various parallels in order to use Euclid VI.2.

Later writers adapted the proof in various ways, includng the introduction of the sine function as in the web site which Luis mentioned. In an attempt to ease things for students, I developed my own proof from the Theorem of Menelaus. This may be in the literature somewhere, but I haven't seen it. If any parallels occur, ratios of the form PN/NQ with N at infinity are replaced by -1 as usual, which replaces Menelaus by Euclid VI.2. Hence cases with parallels are included in the proof below.

Pappus Lemma III is the special case where A = A', so the ranges (ABCD) and (AB'C'D') are perspective from O (the point called M in the web site diagram). Apply the Theorem of Menelaus twice to triangle ABB' using transversals ODD' and OCC'.