Routh’s, Menelaus’ and Generalized Ceva’s Theorems

Boris A. Shminke

Formalized Mathematics (2012)

  • Volume: 20, Issue: 2, page 157-159
  • ISSN: 1426-2630

Abstract

top
The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.

How to cite

top

Boris A. Shminke. "Routh’s, Menelaus’ and Generalized Ceva’s Theorems." Formalized Mathematics 20.2 (2012): 157-159. <http://eudml.org/doc/267670>.

@article{BorisA2012,
abstract = {The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.},
author = {Boris A. Shminke},
journal = {Formalized Mathematics},
language = {eng},
number = {2},
pages = {157-159},
title = {Routh’s, Menelaus’ and Generalized Ceva’s Theorems},
url = {http://eudml.org/doc/267670},
volume = {20},
year = {2012},
}

TY - JOUR
AU - Boris A. Shminke
TI - Routh’s, Menelaus’ and Generalized Ceva’s Theorems
JO - Formalized Mathematics
PY - 2012
VL - 20
IS - 2
SP - 157
EP - 159
AB - The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.
LA - eng
UR - http://eudml.org/doc/267670
ER -

References

top
  1. [1] Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991. 
  2. [2] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990. 
  3. [3] Akihiro Kubo. Lines in n-dimensional Euclidean spaces. Formalized Mathematics, 11(4):371-376, 2003. 
  4. [4] Akihiro Kubo and Yatsuka Nakamura. Angle and triangle in Euclidian topological space. Formalized Mathematics, 11(3):281-287, 2003. 
  5. [5] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990. 
  6. [6] Marco Riccardi. Heron’s formula and Ptolemy’s theorem. Formalized Mathematics, 16(2):97-101, 2008, doi:10.2478/v10037-008-0014-2.[Crossref] 
  7. [7] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990. 
  8. [8] Freek Wiedijk. Formalizing 100 theorems. http://www.cs.ru.nl/~freek/100/. 
  9. [9] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.