The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Routh’s, Menelaus’ and Generalized Ceva’s Theorems”

Heron's Formula and Ptolemy's Theorem

Marco Riccardi (2008)

Formalized Mathematics

Similarity:

The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron's formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy's theorem.MML identifier: EUCLID 6, version: 7.8.09 4.97.1001

Qualitative investigation of nonlinear differential equations describing infiltration of water

Xingbao Wu (1995)

Annales Polonici Mathematici

Similarity:

A nonlinear differential equation of the form (q(x)k(x)u')' = F(x,u,u') arising in models of infiltration of water is considered, together with the corresponding differential equation with a positive parameter λ, (q(x)k(x)u')' = λF(x,u,u'). The theorems about existence, uniqueness, boundedness of solution and its dependence on the parameter are established.

Carathéodory balls and norm balls in H p , n = z n : z p < 1

Binyamin Schwarz, Uri Srebro (1996)

Banach Center Publications

Similarity:

It is shown that for n ≥ 2 and p > 2, where p is not an even integer, the only balls in the Carathéodory distance on H p , n = z n : z p < 1 which are balls with respect to the complex l p norm in n are those centered at the origin.