Displaying similar documents to “Distance-preserving maps in generalized polygons. II: Maps on points and/or lines.”

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

Boris A. Shminke (2012)

Formalized Mathematics

Similarity:

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.

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

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.