I have read other CTK pages that indicate there is a way to prove Pappus usign Menelaus. I have tried to do it, but everything always cancels. I would like to use this with my Honors Geometry students this year (we already do Menelaus and Ceva) but I'd like to know the proof first. I have seen proofs using Homogeneous coordinates, but never a synthetic proof.
For Pappus' theorem one needs 5 transversals: the three as in Pascal's theorem proof, with the given lines (the ones that carry the six points) supplying additional two. I am going to add the proof to
Got it. I know this shouldn't be diffcult, but if CLFK is a parallelogram, then there is no vertex outside. I see a few similar triangles, but I can't get all of the terms right.