Файл:Теорема Массельмана.svg

<?xml version="1.0" encoding="utf-8"?> <CaR> <Construction> <Window x= "-0.7248500510492786" y= "0.0" w= "9.513656920021768" /> <Windowdim w= "704" h= "484" /> <Preferences minfontsize= "19" minpointsize= "3" minlinesize= "2" arrowsize= "10" selectionsize= "8" monkeyspeed= "20" gridopacity= "20" digits.lengths= "2" digits.edit= "4" digits.angles= "2" colorbackground= "255,255,255" colorbackgroundx= "6" colorbackgroundy= "4" colorbackgroundPal= "4" fig3D= "false" figDP= "false" /> <Objects> < Имя точки = "A" n = "0" тип = "толстая" showname = "true" x = "-0.9155313351498631" y = "1.4532243415077204" форма = "круг" > Точка </Point> < Имя точки = "B" n = "1" тип = "толстая" showname = "true" x = "4.3451407811080855" y = "-1.569482288828338" форма = "круг" > Точка </Point> <Имя точки = "C" n = "2" тип = "толстая" showname = "true" x = "-3.58219800181653" y = "-1.5549500454132605" shape= "circle" > Точка </Point> <Segment name= "s1" n= "5" color= "1" type= "thick" from= "A" to= "B" > Сегмент от A до B </Segment> <Segment name= "s2" n= "8" color= "1" type= "thick" from= "B" to= "C" > Сегмент от B до C </Segment> <Segment name= "s3" n= "11" color= "1" type="                                                                  "thick" from= "C" to= "A" > Сегмент от C до A </Segment> <Point name= "P3" n= "1897" color= "2" hidden= "super" x= "x(A)" actx= "-0.9155313351498631" y= "y(A)" acty= "1.4532243415077204" shape= "circle" fixed= "true" > Точка </Point> <PointOn name= "P1" n= "1898" color= "2" hidden= "super" on= "s2" alpha= "9.884663042646986" x= "-74.013931913009" y= "-1.4258359594165722" shape= " circle " > Точка на объекте </PointOn> <Plumb name= "p1" n= "1899" color= "3" hidden= "super" point= "P3" line= "s2" valid= "true" > Перпендикулярная прямая относительно P3 к s2 </Plumb> <Circle name= "c1" n= " 1900" color= "4" hidden= "super" through= "P3" midpoint= "P1" shark= "true" > Окружность центра P1 относительно P3 </Circle> <Intersection name= "A*" n= "1901" color= "2" showname= "true" first= "p1" second= "c1" awayfrom= "P3" shape= "circle" which= "second" > Пересечение тра p1 e c1 </Intersection> <Point name= "P4" n= "3181" color= "2" hidden= "super" x= "x(B)" actx= "4.3451407811080855" y= "y(B)" acty= "-1.569482288828338" shape= "circle" fixed= "true" > Точка </Point> <PointOn name= "P5"                                                                             n= "3182" color= "2" hidden= "super" on= "s3" alpha= " 9.884663042646986" x= "22.776903445242098" y= "28.179840142821813" shape= "circle" > Точка на объекте </PointOn> <Plumb name= "p2" n= "3183" color= "3" hidden= "super" point= "P4" line= "s3" valid= "true" > Сетка перпендикулярна P4 к s3 </Plumb> <Circle name= "c2" n= "3184" color= "4" hidden= "super" through= "P4" midpoint= " P5" shark = "true" > Окружность центра P5 для P4 </Circle> <Пересечение name= "B*" n= "3185" color= "2" showname= "true" first= "p2" second= "c2" awayfrom= "P4" shape= "circle" which= "second" > Пересечение между p2 и c2 </Intersection> <Point name= "P7" n= "3950" color= "2" hidden= "super" x= "x(C)" actx= "-3.58219800181653" y= "y(C)" acty= "-1.5549500454132605" shape= "circle" fixed= "true" > Точка </Point> <PointOn name= "P8" n= "3951" color= "2" hidden= "super" on= "s1" alpha= "9.884663042646986" x= "51.08443991190859" y= "-28.425212176139123" shape= "circle" > Точка на объекте </PointOn> <Plumb name = "p3" n= "3952" color= "3" hidden= "super" point= "P7" line= "s1" valid= "true" >                                                                             Перпендикулярная сетка  между  P7  и  s1 </Plumb> <Circle name= "c3" n= " 3953" color= "4" hidden= "super" through= "P7" midpoint= "P8" shark= "true" > Окружность центра P8 относительно P7 </Circle> <Intersection name= "C*" n= "3954" color= "2" showname= "true" first= "p3" second= "c3" awayfrom= "P7" shape= "circle" which= "second" > Пересечение между p3 и c3 </Intersection> <Segment name= "s4" n= "3957" color= "2" from= "B*" to= "C*" > Сегмент от P6 до P9 </Segment> <Segment name= "s5" n= "3960" color= "2" from= "C*" to= "A*" > Сегмент от P9 до P2 </Segment> <Segment name= "s6" n= "3963" color= "2" from= "A*" to= "B*" > Сегмент от P2 до P6 </Segment> <Midpoint name= "P2" n= "3966" color= "2" type= "thin" hidden= "true" first= "A" second= "C" shape= "circle" > Средняя точка между A и C </Midpoint> <Midpoint name= "P6" n= "3969" color= "2" type= "thin" hidden= <ai=145>"true" first= "A" second= "B" shape= "circle" > Средняя точка между A и B </Midpoint> <Plumb name= "p4" n= "3972" color= "2" type=                                                                                  "thin" hidden= "true" point= "P2" line= "s3" valid= "true" > Сетка , перпендикулярная P2 к s3 </Plumb> <Plumb name= "p5" n= "3975" color = "2" type= "thin" hidden= "true" point= "P6" line= "s1" valid= "true" > Сетка, перпендикулярная P6 к s1 </Plumb> <Intersection name= "O" n= "3976" type= "thick" showname= "true" first = "p5" second= "p4" shape= "circle" > Пересечение между p5 и p4 </Intersection> <Circle name= "c4" n= "3979" color= "4" through= "A" midpoint= "O" shark= "true " > Окружность центра P9 относительно A </Circle> < Имя точки = "P9" n = "4154" цвет = "2" скрытый = "истина" x = "(x(A)^2*y("A*")-x(A)^2*y(O)+y("A*")^2*y(O)-y("A*")^2*y(A)-y("A*")*y(O)^2+y("A*")*y(A)^2-y("A*")*x(O)^2+y(O)^2*y(A)-y(O)*y(A)^2+y(O)*x(& quot;A*")^2+y(A)*x(O)^2-y(A)*x("A*")^2)/(2*x(A)*y("A*")+(-(2*x(A)))*y(O)+(-(2*y("A*")))*x(O)+2*y(O)*x("A*")+2*y(A)*x(O)+(-(2*y(A)))*x("A*"))" actx= "-3.4972363615066753" y= "(-x(A)^2*x("A*")+x(A)^2*x(O)+x(A)*x("A*")^2-x(A)*x(O)^2+x(A)*y("A*")^2-x(A)*y(O)^2-x("A*")^2*x(O)+x("A*")*x(O)^2+x("A*")*y(O)^2-x(" ;A*")*y(A)^2-x(O)*y("A*")^2+x(O)*y(A)^2)/(2*x(A)*y("A*")+(-(2*x(A)))*y(O)+2*x("A*")*y(O)+(-(2*x("A*")))*y(A)+(-(2*x(O)))*y("A*")+2*x(O)*y(A))" acty= "-1.5551057954412082" shape= "circle" fixed= "true" > Точка à "                                                        (x(A)^2*y(P4)-x(A)^2*y(P5)+y(P4)^2*y(P5)-y(P4)^2*y(A)-y (P4)*y(P5 )^2+y(P4)*y(A)^2-y(P4)*x(P5)^2+y(P5)^2*y(A)-y(P5)*y(A)^ 2+y(P5)*x( Р4)^2+y(А)*x(Р5)^2-y(А)*x(Р4)^2)/(2*x(А)*y(Р4)+(-(2*x( А)))*y(P5)+(-(2*y(P4)))*x(P5)+2*y(P5)*x(P4)+2*y(A)*x(P5) +(-(2*y(A)))*x(P4)) " , " (-x(А)^2*x(P4)+x(А)^2*x(P5)+x(А)*x(P4)^2-x(А)*x(P5)^2+ х(А)*у(Р4)^2-х(А)*у(Р5)^2-х(Р4)^2*х(Р5)+х(Р4)*х(Р5)^2+х( Р4)*y(Р5)^2-x(Р4)*y (А)^2-x(P5)*y(P4)^2+x(P5)*y(A)^2)/(2*x(A)*y(P4)+(-(2*x (А)))*y(P5)+2*x(P4)*y(P5)+(-(2*x(P4)))*y(A)+(-(2*x(P5)) )*y(P4)+2*x(P5)*y(A)) " </Point> < Имя круга = "c5" n= "4155" цвет= "3" большой= "истина" через= " A" midpoint= "P9" > Центральный круг P10 , проходящий через P7 </Circle> < Имя точки = "P10" n= "4276" color= "2" hidden= "true" x="true" "(x("B*")^2*y(B)-x("B*")^2*y(O)+y(B)^2*y(O)-y( Б)^2*y("Б*")-y(Б)*y(O)^2+y(Б)*y("Б*")^2-y(Б)*x (О)^2+y(О)^2*y("В*")-y(О)*y("В*")^2+y(О)*x(В )^2+y("B*")*x(O)^2-y("B*")*x(B)^2)/(2*x("B*" )*y(B)+(-(2*x("B*")))*y(O)+(-(2*y(B)))*x(O)+2*y( O)*x(B)+2*y("B*")*x(O)+(-(2*y("B*")))*x(B))" actx= "1.1773058131869387" у= "(-x("B*")^2*x(B)+x("B*")^2*x(O)+x("B*")*x(B )^2-x("B*")*x(O)^2+x("B*")*y(B)^2-x("B*")*y( О)^2-х(В)^2*х(О)+х(В)*х(О)^2+х(В)*у(О)^2-х(В)*у( "В*")^2-x(O)*y(B)^2+x(O)*y("В*")^2)/(2*x("В*" ;)*y(B)+(-(2*x("B*")))*y(O)+2*x(B)*y(O)+(-(2*x(B )))*y("B*")+(-(2*x(O)))*y(B)+2*x(O)*y("B*"))" акт = "3.8140815061165614" shape= "circle" fixed= "true" > Точка à " (x(A)^2*y(P4)-x(A)^2*y(P5)+y(P4)^2*y(P5)-y(P4)^2*y(A)-y (P4)*y(P5 )^2+y(P4)*y(A)^2-y(P4)*x(P5)^2+y(P5)^2*y(A)-y(P5)*y(A)^ 2+y(P5)*x( Р4)^2+y(А)*x(Р5)^2-y(А)*x(Р4)^2)/(2*x(А)*y(Р4)+(-(2*x( А)))*y(P5)+(-(2*y(P4)))*x(P5)+2*y(P5)*x(P4)+2*y(A)*x(P5) +(-(2*y(A)))*x(P4)) " ," (-x(A)^2*x(P4)+x(A)^2*x(P5)+x(A)*x(P4)^2-x(A)*x(P5)^2+x(A)*y(P4)^2-x(A)*y(P5)^2-x(P4)^2*x(P5)+x(P4)*x(P5)^2+x(P4)*y(P5)^2-x(P4)*y (A)^2-x(P5)*y(P4)^2+x(P5)*y(A)^2)/(2*x(A)*y(P4)+(-(2*x(A)))*y(P5)+2*x(P4)*y(P5)+(-(2*x(P4)))*y(A)+(-(2*x(P5)))*y(P4)+2*x(P5)*y(A)) " </Point> <Имя круга = "c6" n=                               "4277" color= "3" large= "true" through= "B*" midpoint= "P10" > Центральный круг P10 , проходящий через P7 </Circle> <Point name= "P11" n= "4404" color= "2" hidden= "true" x= "(x("C*")^2*y(C)-x("C*")^2*y(O)+y(C)^2*y(O)-y(C)^2*y("C*")-y(C)*y(O)^2+y(C)*y("C*")^2-y(C)*x(O)^2+y(O)^2*y("C*")-y(O)*y("C*")^2+y(O)*x(C )^2+y("C*")*x(O)^2-y("C*")*x(C)^2)/(2*x("C*")*y(C)+(-(2*x("C*")))*y(O)+(-(2*y(C)))*x(O)+2*y(O)*x(C)+2*y("C*")*x(O)+(-(2*y("C*")))*x(C))" actx= "-0.8905896267644544" y= "(-x("C*")^2*x(C)+x("C*")^2*x(O)+x("C*")*x(C)^2-x("C*")*x(O)^2+x("C*")*y(C)^2-x("C*")*y(O)^2-x(C)^2*x(O)+x(C)*x(O)^2+x(C)*y(O)^2-x(C)*y( "C*")^2-x(O)*y(C)^2+x(O)*y("C*")^2)/(2*x("C*")*y(C)+(-(2*x("C*")))*y(O)+2*x(C)*y(O)+(-(2*x(C)))*y("C*")+(-(2*x(O)))*y(C)+2*x(O)*y("C*"))" acty= "1.438893194148125" shape= "circle" fixed= "true" > Точка à " (x(A)^2*y(P4)-x(A)^2*y(P5)+y(P4)^2*y(P5)-y(P4)^2*y(A)-y(P4)*y(P5 )^2+y(P4)*y(A)^2-y(P4)*x(P5)^2+y(P5)^2*y(A)-y(P5)*y(A)^2+y(P5)*x( Р4)^2+у(А)*х(Р5)^2-у(А)*х(Р4)^2)/(2*х(А)*у(Р4)+(-(2*х(А)))*у(Р5)+(-(2*у(Р4)))*х(Р5)+2*у(Р5)*х(Р4)+2*у(А)*х(Р5)+(-(2*у(А)))*х(Р4)) " ," (-x(A)^2*x(P4)+x(A)^2*x(P5)+x(A)*x(P4)^2-x(A)*x(P5)^2+x(A)*y(P4)^2-x(A)*y(P5)^2-x(P4)^2*x(P5)+x(P4)*x(P5)^2+x(P4)*y(P5)^2-x(P4)*y (А)^2-x(P5)*y(P4)^2+x(P5)*y(A)^2)/(2*x(A)*y(P4)+(-(2*x(A)))*y(P5)+2*x(P4)*y(P5)+(-(2*x(P4)))*y(A)+(-(2*x(P5)))*y(P4)+2*x(P5)*y(A)) " </Point> <Circle name= "c7" n= "4405" color= "3" large= "true" through= "C*" midpoint= "P11" > Центральный круг P10 , проходящий через P7 </Circle> <Перекресток name= "M" n= "4406" color= "5" type= "thick" showname= "true" first= "c5" second= "c6" shape= "circle" which= "second" >                                               Пересечение  трассы  c5  и  c6 </Intersection> </Objects> </Construction> </CaR>