<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></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.

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

Formalized Mathematics

{"article-title":"Routh\u2019s, Menelaus\u2019 and Generalized Ceva\u2019s Theorems"}

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...

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

Published Online: Feb 02, 2013

Page range: 157 - 159

DOI: https://doi.org/10.2478/v10037-012-0018-9

This content is open access.