De certo modo, podemos verificar que "Dados dois triângulos e uma correspondência biunívoca pela qual qual os pares de vértices correspondentes definem três retas que incidem num mesmo ponto O, então os pares de lados correspondentes pela mesma correspondência intersetam-se em pontos de uma mesma reta o", ou dito de outro modo, "Se dois triângulos são perspetivos por um ponto, então são perspetivos por uma mesma reta. Este resultado, conhecido por Teorema de Desargues, pode ser demonstrado, mas, mesmo para pares de triângulos do mesmo plano, precisa de um axioma novo e de usar um ponto exterior ao plano. Optamos, por isso e como fazem muitos autores, para o nosso estudo de geometria plana, tomar o chamado teorema de Desargues como um axioma.
Podemos demonstrar o recíproco (dual) do terorema de Desargues, a saber: Se dois triângulos são perspetivos por uma reta o, então são perspetivos por um ponto O. Tome-se da figura em que a.d=P, b.e=Q e d.f=R são pontos de o. E provamos, em consequência disso e do teor de Desargues, que as retas (a.b, d.e) ou CF, (a.c, d.f) ou BE, (b.c, e.f) ou AD se intersetam num ponto.
Recorremos aos triângulos ADQ e BEP. Estes triângulos são R-perspetivos, já que AB∩DE=DE∩QP=AB∩QP={R}. O teorema de Desargues aplicado a estes triângulos ADQ e BEP que são perspetivos por R, garante que AD∩BE={O}, AQ∩BP={C} e DQ∩EP={F} são colineares. Fica demonstrado que a reta CF passa por O, interseção de AD com BE.
