Lecture

Distance Axioms

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture introduces the concept of distance in the plane, defining it as a positive real number between two points. The distance axioms are presented, including symmetry, non-negativity, and the triangle inequality. The lecture also covers the construction of triangles from three segments and the existence of segments of a given length. Additionally, it discusses the property of triangle sides and the simplification brought by the distance axiom. The demonstration of the proposition regarding triangle side lengths concludes the lecture.

Official source

Ontological neighbourhood

Mathematics

Geometry: Euclidean geometry

Related concepts (32)

Triangle

A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted . In Euclidean geometry, any three points, when non-collinear, determine a unique triangle and simultaneously, a unique plane (i.e. a two-dimensional Euclidean space). In other words, there is only one plane that contains that triangle, and every triangle is contained in some plane.

Equilateral triangle

In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

Triangle inequality

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If x, y, and z are the lengths of the sides of the triangle, with no side being greater than z, then the triangle inequality states that with equality only in the degenerate case of a triangle with zero area.

Solution of triangles

Solution of triangles (solutio triangulorum) is the main trigonometric problem of finding the characteristics of a triangle (angles and lengths of sides), when some of these are known. The triangle can be located on a plane or on a sphere. Applications requiring triangle solutions include geodesy, astronomy, construction, and navigation. A general form triangle has six main characteristics (see picture): three linear (side lengths a, b, c) and three angular (α, β, γ).

Euclidean geometry

Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.

Related lectures (64)

Pythagorean Theorem

Introduces the Pythagorean theorem, explaining its geometric significance and applications in calculating areas.

Elementary Operations in Geometry

Explores elementary operations in geometry, including addition, subtraction, multiplication, and division of segments and angles.

Euclidean Geometry Fundamentals

Introduces the fundamentals of Euclidean geometry, covering equilateral triangles, symmetries, radical axes, and ancient architectural figures.

Mediatrix and Bisector

Explores the mediatrix and bisector properties in right-angled triangles through proofs and constructions.

Analytical Geometry: Bisectors and Areas