2) Да построим [tex]\triangle[/tex]ABC ([tex]\angle[/tex]ACD=90[tex]^\circ )[/tex] ,при който BC>AC .
[tex]K_{1 }( O_{1 } ; r_{1 } )[/tex] е вписана в [tex]\triangle[/tex]ADC и [tex]x_{1 } K_{2 }( O_{2 } ; r_{2 } )[/tex] е вписана в [tex]\triangle[/tex]DBC
[tex]O_{1 } O_{2 }[/tex] =?
[tex]\triangle[/tex]ACD[tex]\approx \triangle[/tex]ABC (1 признак) [tex]\Rightarrow[/tex] [tex]\frac{ r_{1 } }{r} =\frac{AC}{AB}[/tex]
[tex]\triangle[/tex]CBD[tex]\approx \triangle[/tex]ABC (1 признак) [tex]\Rightarrow[/tex] [tex]\frac{ r_{2 } }{r}= \frac{BC}{AB}[/tex]
Намираме [tex]r_{1 } ^{2 } = \frac{ r^{2 } AC^{2 } }{ AB^{2 } }[/tex] и [tex]r_{2 } ^{2 }= \frac{ r^{2 } BC^{2 } }{ AB^{2 } }[/tex]
(1)В/у отсечката AB нанасяме точките E , F така ,че [tex]O_{1 }E= r_{1 }[/tex] и [tex]O_{2 }F= r_{2 }[/tex] .
В/у отс. [tex]O_{2 }F[/tex] нанасяме т. P така ,че EFP[tex]O_{1 }[/tex] е
правоъгълник .
Нека [tex]O_{1 } P \cap CD =т. T[/tex] и т.H лежи на CD така ,че DF[tex]O_{2 } H[/tex] е квадрат .
[tex]\triangle O_{1 } PO_{2 }[/tex] е правоъгълен
[tex]O_{1 } O_{2 } ^{2 }[/tex] = [tex]O_{1 } P ^{2 } + O_{2 } P ^{2 }[/tex]=
=[tex]( O_{1 } T+TP) ^{2 } + ( O_{2 }F - O_{1 } E) ^{2 }[/tex]=
Лесно се доказва ,че EDT[tex]O_{1 }[/tex] и DF[tex]O_{2 }[/tex]H са квадрати .
=[tex]( r_{1 } +r_{2 }) ^{2 } + ( r_{2 } -r_{1 } )^{2 }[/tex]=
=[tex]r_{1 } ^{2 }+2 r_{1 } r_{2 } + r_{2 } ^{2 }+ r_{2 } ^{2 }-2 r_{1 } r_{2 } + r_{1 } ^{2 }[/tex]=
=2[tex]( r_{1 } ^{2 }+ r_{2 } ^{2 } )[/tex] [ виж(1) ]
=2([tex]\frac{ r^{2 } AC^{2 } }{ AB^{2 } } + \frac{ r^{2 } BC^{2 } }{ AB^{2 } }[/tex])= 2.[tex]\frac{r^{2 }( AC^{2 }+ BC^{2 }) }{ AB^{2 } }[/tex]=
=[tex]\frac{2 r^{2 } AB^{2 } }{ AB^{2 } }=[/tex]
2[tex]r^{2 }[/tex]Получихме [tex]O_{1 } O_{2 } ^{2 } =2 r^{2 }[/tex] [tex]\Rightarrow[/tex] [tex]O_{1 } O_{2 } =r \sqrt{2}[/tex]