Zobrazeno 1 - 10 of 39 pro vyhledávání: '"Steiner–Lehmus theorem"'
3
Dva svojstva simetrala kutova trokuta i Steiner-Lehmusov teorem
Autor: Prosenečki, Ana
Cilj ovog diplomskog rada je izučavanje nekih značajnih svojstava simetrala kutova trokuta. Rad se sastoji od četiri poglavlja. Nakon uvodnog poglavlja, u drugom poglavlju bavimo se teoremom o simetrali kuta u trokutu. Dajemo nekoliko dokaza tog t
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3908::a2a1c445bfc7ddaac3a15c6bfb2544d3
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:6033/datastream/PDF
Zobrazit plný text záznamu
4
Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem
Autor: Victor Pambuccian
Publikováno v: Notre Dame J. Formal Logic 59, no. 1 (2018), 75-90
By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff92e6e0516af72c4530d8054e0374a1
https://doi.org/10.1215/00294527-2017-0019
Zobrazit plný text záznamu
5
The Steiner–Lehmus theorem and 'triangles with congruent medians are isosceles' hold in weak geometries
Autor: Horst Struve, Victor Pambuccian, Rolf Struve
Publikováno v: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry. 57:483-497
We prove that (i) a generalization of the Steiner-Lehmus theorem due to A. Henderson holds in Bachmann's standard ordered metric planes, (ii) that a variant of Steiner-Lehmus holds in all metric planes, and (iii) that the fact that a triangle with tw
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a9422906e105c6380cb236f43b320a3
https://doi.org/10.1007/s13366-015-0278-y
Zobrazit plný text záznamu
6
The Descartes’ Sign Rule, Sturm’s Theorem, Vincent’s Theorem and the Fourier-Budan Theorem Are Wrong
Autor: Michael C. I. Nwogugu
Publikováno v: Anomalies in Net Present Value, Returns and Polynomials, and Regret Theory in Decision-Making ISBN: 9781137446978
This chapter contributes to the existing literature by proving that the Descartes’ Sign Rule (as interpreted by most academicians—such as Oehmke (2000) and Osborne (2010))—and the Fourier-Boudan Theorem are wrong. These issues are applicable in
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::923b95bc6b64cce13796f17eeb205e50
https://doi.org/10.1057/978-1-137-44698-5_4
Zobrazit plný text záznamu
8
Generalizing the Steiner-Lehmus theorem using the Gröbner cover
Autor: Antonio Montes, Tomás Recio
Publikováno v: Mathematics and Computer in Simulation, Vol. 104, Pp. 67-81
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume I
UCrea Repositorio Abierto de la Universidad de Cantabria
Universidad de Cantabria (UC)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant ex
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fcbea3e116b10c679d624add2528b4f
https://hdl.handle.net/2117/23574
Zobrazit plný text záznamu
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje