Projektiivisen geometrian nelikulmiolause

Projektiivisen geometrian nelikulmiolause on projektiiviseen geometriaan liittyvä perustulos. Sen mukaan jos A, B, C ja D ovat tason pisteitä, G on AC:n ja BE:n leikkauspiste, E on AD:n ja CB:n leikkauspiste, F on AB:n ja DC:n leikkauspiste, H on EG:n ja AB:n leikkauspiste, I on EG:n ja CD:n leikkauspiste, niin (A, H, B, F) ja (D, I, C, F) ovat harmonisia pisteistöjä.

Projektiivinen geometria