Штайнер - Леммус теоремасы - Steiner–Lehmus theorem

The Штайнер - Леммус теоремасы, қарапайым геометриядағы теорема, тұжырымдалған Лемус және кейіннен дәлелденді Якоб Штайнер. Онда:

Әрқайсысы үшбұрыш екеуімен бұрыштық биссектрисалар тең ұзындық тең бүйірлі.

Теорема туралы алғаш рет 1840 жылы К.Лемус хат жолдаған болатын C. Штурм, онда ол таза геометриялық дәлелдеуді сұрады. C. Штурм бұл сұранысты басқа математиктерге жіберді және оның шешімін алғашқылардың бірі болып Якоб Штайнер ұсынды. Теорема содан бері қарапайым геометрияда танымал мақалаларға айналды, ол туралы мақалалар үнемі жарияланып тұрды.[1][2][3]

Тікелей дәлелдемелер

Штайнер-Леммус теоремасын элементарлы геометрияны пайдаланып, контрапозитивті тұжырымды дәлелдеу арқылы дәлелдеуге болады.«Тікелей» дәлелдеуге болатын-болмайтындығы туралы кейбір қайшылықтар бар;«тікелей» дәлелдемелер жарияланған деп болжануда, бірақ бәрі де бұл дәлелдердің «тікелей» екендігімен келісе бермейді.Мысалы, үшбұрыштың қабырғалары бойынша бұрыштық биссектрисаларға арналған қарапайым алгебралық өрнектер бар. Осы өрнектердің екеуін теңестіру және теңдеуді алгебралық жолмен манипуляциялау 0-ге тең екі фактордың көбейтіндісіне әкеледі, бірақ олардың тек біреуі ғана (а − б) 0-ге тең болуы мүмкін, ал екіншісі оң болуы керек. Осылайшаа = б. Бірақ мұны тікелей деп санауға болмайды, өйткені алдымен екінші фактор неге 0 бола алмайтындығы туралы дау айту керек.Джон Конвей[4]теорема (алгебралық түрде айтылған) ерікті өріске сәйкес келмейтіндіктен, тіпті теріс нақты сандарға параметр ретінде рұқсат етілгендіктен де, «теңдікті қуу» дәлелі болуы мүмкін емес деп тұжырымдады.Классикалық және ішіндегі «тікелей дәлелдеудің» нақты анықтамасы интуициялық логика Виктор Памбукчиан ұсынды[5],тікелей дәлелдемелер келтірмей, дәлелдеулер классикалық логикада да, интуитивті логикалық жағдайда да болуы керек екенін дәлелдеді.

Ескертулер

  1. ^ Коксетер, H. S. M. және Greitzer, S. L. «Штайнер-Леммус теоремасы». §1.5 геометрия қайта қаралды. Вашингтон, Колумбия округі: Математика. Доц. Амер., 14-16 бет, 1967.
  2. ^ Дайан мен Рой Доулинг: Людольф Лемустың соңғы мұрасы. Манитоба математикалық сілтемелері - II том - 3 шығарылым, көктем 2002 ж
  3. ^ Барбара, Рой, «Штайнер-Леммус, қайта қаралды», Математикалық газет 91, 2007 ж. Қараша, 528–529 б. (JSTOR )
  4. ^ Штайнер-Леммус теоремасын «тікелей» дәлелдеудің мүмкін еместігі
  5. ^ Памбукчиан, Виктор (2018), «Штайнер-Леммус теоремасын теріске шығармайтын және қайшылықсыз дәлелдеу», Нотр-Дам журналы формальды логика журналы, 59: 75--90.

Сілтемелер және одан әрі оқу

  • Джон Хортон Конвей, Алекс Рыба: Штайнер-лемус бұрышы биссектрисасы теоремасы. В: Мирчеа Питичи (Hrsg.): Математика бойынша үздік жазба 2015 ж. Принстон университетінің баспасы, 2016 ж., ISBN  9781400873371, 154-166 бб
  • Александр Остерманн, Герхард Ваннер: Тарихы бойынша геометрия. Springer, 2012, 224-225 бб
  • Дэвид Беран: SSA және Штайнер-Леммус теоремасы. Математика мұғалімі, т. 85, № 5 (мамыр 1992 ж.), 381-383 бб. (JSTOR )
  • C. F. Парри: Штайнер-Леммус тақырыбындағы вариация. Математикалық газет, т. 62, № 420 (1978 ж. Маусым), 89-94 б. (JSTOR )
  • Мордехай Левин: Штайнер-Леммус теоремасы туралы. Математика журналы, т. 47, № 2 (наурыз 1974), 87-89 бет (JSTOR )
  • С.Әбу-Сайме, М.Хаджжа, Х.А.Шахали: Штайнер-Леммус тақырыбындағы тағы бір өзгеріс. Форум Geometricorum 8, 2008, 131-140 бб
  • В. Памбукчиан, Х. Струве, Р. Струве: Штайнер-Леммус теоремасы және үйлесімді медианалары бар үшбұрыштар әлсіз геометриялардың тең қабырғалары болып табылады. Beitraege zur Algebra und Geometrie 57 (2016), жоқ. 2, 483-497

Сыртқы сілтемелер