Size: a a a

2020 May 26

CD

Constantine Drozdov in pro.cxx.holywars
ну я не хочу к аксиомам доказывать
источник

CD

Constantine Drozdov in pro.cxx.holywars
докажи сам, что две прямые разобьют на 4 части
источник

CD

Constantine Drozdov in pro.cxx.holywars
и если прямая не пройдет через общую точку двух, то пройдет через 3 из 4
источник

CC

Chris Calvin in pro.cxx.holywars
Kirill Kaymakov
Результат красивый, доказательство в лоб и оч простое
http://kvant.mccme.ru/1977/04/celye_tochki_v_mnogougolnikah.htm
Вот тут автор хорошо обобщает. На самом деле ничего сложного, но нужно убить не меньше чем часа 2 чтобы всю цепочку отследить и повторить
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Chris Calvin
ща еще раз глазами провалидирую
Норм, просто линейная зависимость
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Красиво, линал вообще красив
источник

CD

Constantine Drozdov in pro.cxx.holywars
/dev/urandon ¯\_(ツ)_/¯
Норм, просто линейная зависимость
Ээээ а как это связано с 6 перестановками?)
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Constantine Drozdov
Ээээ а как это связано с 6 перестановками?)
А я не перестановки представил себе)
источник

CD

Constantine Drozdov in pro.cxx.holywars
Ну то есть я понимаю, что пройти втроем через одну точку - замечательное свойство с точки зрения проективной геометрии, и оно связано с линейной зависимостью
источник

CC

Chris Calvin in pro.cxx.holywars
источник

C

Churchill in pro.cxx.holywars
источник

CD

Constantine Drozdov in pro.cxx.holywars
Получается, что если мы в любой метрической геометрии определим серединный перпендикуляр как линию равных расстояний до точек, а биссектрису как линию равных расстояний до прямых, то три таких для треугольника не могут иметь общее положение
источник

/dev/urandon ¯\_(ツ)_... in pro.cxx.holywars
Constantine Drozdov
что не используется евклидовость метрики
А для любой ли метрики будет 7 частей?
источник

CD

Constantine Drozdov in pro.cxx.holywars
/dev/urandon ¯\_(ツ)_/¯
А для любой ли метрики будет 7 частей?
это, видимо, какие-то из очень ранних свойств прямых
источник

CD

Constantine Drozdov in pro.cxx.holywars
вот прямыми они могут не быть
источник

CD

Constantine Drozdov in pro.cxx.holywars
и псеводпрямыми никакого уровня
источник

CD

Constantine Drozdov in pro.cxx.holywars
че там у нас самая упоротая геометрия?) строк с расстоянием Левенштейна?)
источник

CD

Constantine Drozdov in pro.cxx.holywars
а, слишком дискретно
источник

KK

Kirill Kaymakov in pro.cxx.holywars
Chris Calvin
http://kvant.mccme.ru/1977/04/celye_tochki_v_mnogougolnikah.htm
Вот тут автор хорошо обобщает. На самом деле ничего сложного, но нужно убить не меньше чем часа 2 чтобы всю цепочку отследить и повторить
Да ладно, там норм доказательство через мат индукцию)
источник

CC

Chris Calvin in pro.cxx.holywars
Kirill Kaymakov
Да ладно, там норм доказательство через мат индукцию)
Не самой теоремы Пика
источник