от drago » 10 Ное 2011, 18:03
Нека [tex]ABCD[/tex] е търсения четериъгълник. Нека [tex]AD \cap BC = O[/tex].
Ще фиксираме [tex]\angle DOC[/tex] и точките [tex]D,\, C[/tex] съответно в/у едното и другото му рамо и ще мърдаме точките [tex]A[/tex] и [tex]B[/tex], така че [tex]AB[/tex] да остава успоредна на себе си и [tex]A, B[/tex] да лежат в/у едното и другото рамо на [tex]\angle DOC[/tex]. Трябва да намерим такива точки [tex]A,B[/tex] така че [tex]\frac{BD}{AC} = \frac{d_1}{d_2}=k[/tex] , където [tex]d_1, d_2[/tex] са диагоналите на четериъг. Ако направим това следва една хомотетия с център [tex]O[/tex], която ще оправи всичко.
Нека [tex]D_1\in OB,\, DD_1\parallel AB[/tex]. Сега да "прехвърлим" точките [tex]D, B, D_1[/tex] всяка в/у срещуположното рамо на ъгъла в точки: [tex]D^', B^', D_1^'[/tex] , така, че: [tex]OD=OD^', OB=OB^', OD_1=OD_1^'[/tex]. Имаме:
[tex]B^'D^'=kAC,\, OB^'=OB=tOD_1,\, OA=tOD[/tex]. Ще променяме [tex]t[/tex].
[tex]\vec{D^'B^'}= \vec{OB^'} - \vec{OD^'} = t\vec{OD_1^'}- \vec{OD^'}[/tex]
[tex]\vec{CA}= \vec{OA}-\vec{OC} = t\vec{OD} -\vec{OC}[/tex]
[tex]|\vec{D^'B^'}| = k |\vec{CA}| \Rightarrow |t\vec{OD_1^'} - \vec{OD^'}| = |t k \vec{OD} - k\vec{OC}|[/tex]
Или
[tex]|t \vec{a} - \vec{b}| = |t \vec{a_1} - \vec{b_1}|[/tex]
където всичко с изключение на [tex]t[/tex] е известно. Полагаме [tex]\vec{u}=t\vec{a_1} - \vec{b_1}[/tex]. [tex]u[/tex] се променя в/у някаква права(построима) успоредна на [tex]OA[/tex].
Kато разпишем малко получаваме, че трябва да намерим(построим) такова [tex]\vec{u}[/tex], където началото на [tex]\vec{u}[/tex] е в [tex]O[/tex], края му е в/у някаква построена права така че:
[tex]|k_1 \vec{u} + \vec{c}| = |\vec{u}|[/tex]. където [tex]u[/tex] се променя върху построима права, [tex]k_1[/tex] e известна пропорция, а [tex]\vec{c}[/tex]- известен вектор.
Построението е малко обратно:
Фиксираме вектора [tex]\vec{c}[/tex] (kато отсечка [tex]C_1C_2[/tex]) Построяваме множеството от точки, [tex]X[/tex]такива че [tex]C_1X = k_1C_2X[/tex]- това е една окръжност, след това наместваме [tex]O[/tex] с една транслация определена от правата [tex]k_1 \vec{u}[/tex], (това е права, когато [tex]\vec{u}[/tex] се променя и [tex]C_1[/tex] лежи в/у нея), така че да дойде в/у тази окръжност.