Cтраница 3
Мы снова составим двойное отношение четырех лучей ilt iz, a, b, где ij, / 2 суть те прямые, которые соединяют О с мнимыми циклическими точками, а прямые a, b являются произвольными лучами, проходящими через О ( черт. [31]
Поэтому два угла равны, если двойное отношение, образуемое сторонами первого угла с мнимыми циклическими точками, равно двойному отношению, образуемому сторонами второго угла с мнимыми циклическими точками. [32]
Трактат о проективных свойствах фигур ( Traite des proprietes projectives dcs figures) Понселе появился в 1822 г. Этот объемистый том содержит все существенные понятия, относящиеся к этой новой ветви геометрии, как гармоническое отношение, перспективность, проективность, инволюцию и даже циклические точки на бесконечности. [33]
Заметим, что если точки имеют координаты (: 1: 0) в одной однородной евклидовой координатной системе, то они имеют те же координаты и в любой другой однородной евклидовой координатной системе. Поэтому циклические точки определены корректно. [34]
Из уравнения видно, что кривая - четвертого порядка, имеет точку F своей двойной точкой и состоит из двух частей, имеющих основание g общей асимптотой. Кривая сверх того проходит через две мнимые циклические точки. [35]
Как мы знаем, через любую точку плоскости ( не принадлежащую данной линии второго порядка) проходят две касательные к этой линии. В частности, это верно для циклических точек. [36]
Если а и Ь суть две взаимно перпендикулярные прямые, то они гармонически разделяются мнимыми циклическими точками. Наоборот, если две прямые, гармонически разделяются мнимыми циклическими точками то они взаимно перпендикулярны. [37]
Будет также показано, что в рассмотренном автомате число циклических точек существенно больше, чем число циклических точек в графе равновероятного случайного отображения. [38]
Рассмотрены некоторые естественные обобщения традиционной комбинаторно-вероятностной модели автоматов, состоящих из регистров с неравномерным движением. Получены явные оценки и асимптотические выражения для среднего числа циклических точек и для среднего числа подходов к этим циклам у автомата, выбранного случайно из указанного класса. [39]
Точно так же является неопределенным расстояние от циклических точек и до всякой ( другой) конечной точки; то же самое имеет место для расстояния от любой точки мнимой окружности сфер ( принадлежащей бесконечно удаленной плоскости) до любой конечной точки пространства. Этому нисколько не приходится удивляться, ибо мы ведь одновременно требовали от циклических точек, чтобы они находились на расстоянии г от некоторой конечной точки ( лежали на круге радиуса г с центром в этой точке, где г может принимать произвольно заданное значение) и были также бесконечно удалены от этой последней; это кажущееся противоречие наша аналитическая формула может уничтожить лишь тем, что она приводит к полученной выше неопределенности. Эти простые вещи следует себе раз навсегда вполне уяснить, тем более, что о них часто говорят и пишут много неправильного. [40]
Если начерчена окружность и дан ее центр, то тем самым дан абсолют плоскости. Именно, бесконечно удаленная прямая есть поляра центра в отношении окружности, а мнимые циклические точки являются точками пересечения окружности с определенной таким образом бесконечно удаленной прямой. [41]
Будет также показано, что в рассмотренном автомате число циклических точек существенно больше, чем число циклических точек в графе равновероятного случайного отображения. [42]
Циклические точки и окружность сфер дают возможность в очень красивой форме включить теорию окружностей и сфер в общую теорию геометрических образов второго порядка, тогда как при элементарном изложении получается ряд кажущихся расхождений. Так, в элементарной аналитической геометрии всегда говорят только о двух точках пересечения двух окружностей, так как исключение одного неизвестного из их уравнений приводит лишь к квадратному уравнению. С нашей же точки зрения, всякие две окружности имеют общими еще и лежащие на бесконечно удаленной прямой обе циклические точки, которых не принимает во внимание элементарное изложение; таким образом мы действительно приходим к четырем точкам пересечения, требуемым упомянутой общей теоремой о двух кривых второго порядка. [43]
Второй тип условия такой: вы можете взять точку и оставить только те коники, которые проходят через эту точку. В этом примере мы можем взять коники, проходящие через две фиксированные точки. Саратовская теорема Понселе утверждает, что такое семейство квадрик эквивалентно семейству окружностей, потому что окружности как раз проходят через две циклические точки на бесконечности. Теперь мы должны наложить еще одно условие. Какие бывают полные двупараметрические семейства окружностей. Один вариант такой: мы можем взять все окружности, которые касаются некоторой кривой. Хорошо известен вариант этой задачи, когда эта кривая - окружность или прямая. Другой вариант: можно взять все окружности, проходящие через фиксированную точку. Тогда, пользуясь инверсией, можно доказать, что это семейство изоморфно семейству всех прямых. [44]
Геометрическое место этих точек составляет огибающую семейства прямых. Если конические сечения - окружности, то имеем лишь две характеристические точки ( действительные или мнимые), так как окружности проходят через циклические точки плоскости. [45]