Обозначим данные прямые через l0 и l, данные точки на прямой l0 - через A0, B0, C0, данные точки на прямой l - через A, B, C. Пусть l1 - произвольная прямая, не проходящая через точку A. Возьмем произвольную точку O0, не лежащую на прямых l0 и l1. Обозначим через P0 центральное проектирование прямой l0 на прямую l1 с центром в точке O0, а через A1, B1, C1 - проекции точек A0, B0, C0. Пусть l2 - произвольная прямая, проходящая через точку A, не совпадающая с прямой l и не проходящая через A1. Возьмем некоторую точку O1 на прямой AA1 и рассмотрим центральное проектирование P1 прямой l1 на l2 с центром в O1. Обозначим через A2, B2, C2 проекции точек A1, B1, C1. Ясно, что A2 совпадает с A. Наконец, пусть P2 - проектирование прямой l2 на прямую l, которое в том случае, когда прямые BB2 и CC2 не параллельны, является центральным проектированием с центром в точке пересечения этих прямых, а в том случае, когда прямые BB2 и CC2 параллельны, является параллельным проектированием вдоль одной из этих прямых. Композиция P2°P1°P0 является требуемым проективным преобразованием.
Обозначим данные прямые через l0 и l, данные точки на прямой l0 - через A0, B0, C0, данные точки на прямой l - через A, B, C. Пусть l1 - произвольная прямая, не проходящая через точку A. Возьмем произвольную точку O0, не лежащую на прямых l0 и l1. Обозначим через P0 центральное проектирование прямой l0 на прямую l1 с центром в точке O0, а через A1, B1, C1 - проекции точек A0, B0, C0. Пусть l2 - произвольная прямая, проходящая через точку A, не совпадающая с прямой l и не проходящая через A1. Возьмем некоторую точку O1 на прямой AA1 и рассмотрим центральное проектирование P1 прямой l1 на l2 с центром в O1. Обозначим через A2, B2, C2 проекции точек A1, B1, C1. Ясно, что A2 совпадает с A. Наконец, пусть P2 - проектирование прямой l2 на прямую l, которое в том случае, когда прямые BB2 и CC2 не параллельны, является центральным проектированием с центром в точке пересечения этих прямых, а в том случае, когда прямые BB2 и CC2 параллельны, является параллельным проектированием вдоль одной из этих прямых. Композиция P2°P1°P0 является требуемым проективным преобразованием.
Объяснение:
пример
АС1/С1В=1/1, ВА1/А1С=3/7, АВ1/В1С=1/3, S A1B1C1=S ABC - S AC1B1 - S C1BA1 - S A1CB1, обе части уравнения делим на S ABC
S A1B1C1 / S ABC = 1 - (S AC1B1/S ABC) - (S C1BA1/ S ABC) - (S A1CB1/S ABC)
S ABC=1/2*AB*AC*sinA, S AB1C1=1/2*AC1*AB1*sinA, AB=AC1+C1B=1+1=2, AC=AB1+B1C=1+3=4, S AB1C1/S ABC=(AC1*AB1)/(AB*AC)=(1*1)/(2*4)=1/8,
S ABC=1/2*AB*BC*sinB, S C1BA1=1/2*C1B*BA1*sinB, BC=BA1+A1C=3+7=10,
S C1BA1/S ABC=(C1B*BA1)/(AB*BC)=(1*3)/(2*10)=3/20,
S ABC=1/2*AC*BC*sinC, S A1CB1=1/2*A1C*B1C*sinC, S A1CB/S ABC=(A1C*B1C) / (AC*BC)=(7*3)/(4*10)=21/40,
S A1B1C1/S ABC=1-1/8-3/20-21/40=8/40=1/5, или S ABC/S A1B1C1=5/1