الإثبات بالتناقض (الاختزال إلى العبث)

تُشكل مسلمات إقليدس الخمس الأساس البديهي للهندسة الإقليدية، كما هو موضح في أطروحته "العناصر". وهي افتراضات أساسية تُشتق منها جميع النظريات الأخرى منطقيًا. تتعلق المسلمات الأربع الأولى ببناء الخطوط والدوائر، بينما تُحدد المسلمة الخامسة، وهي مسلمة التوازي، الطبيعة المسطحة غير المنحنية للفضاء الإقليدي. وقد أسست هذه المسلمات المنهج الاستنتاجي في الرياضيات.

A fundamental theorem in Euclidean geometry states that the sum of the measures of the three interior angles of any triangle is always equal to two right angles, or 180 degrees. This property, [latex]\alpha + \beta + \gamma = 180^\circ[/latex], is a direct consequence of the parallel postulate and holds true for all triangles, regardless of their size or shape, within a flat, Euclidean plane.

Direct proof is a method of showing the truth of a given statement by a straightforward combination of established facts, usually axioms, definitions, and previously proven theorems. To prove a conditional statement [latex]p \rightarrow q[/latex], one assumes that [latex]p[/latex] is true and uses rules of inference to show that [latex]q[/latex] must also be true.

The Pythagorean theorem is a fundamental relation in Euclidean geometry among the three sides of a right-angled triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. The formula is expressed as [latex]a^2 + b^2 = c^2[/latex].

Also known as the method of indivisibles, this principle states that if two solids lying between two parallel planes have the property that every plane parallel to the two given planes intersects them in cross-sections of equal area, then the two solids have equal volumes. It provides a powerful method for calculating volumes of complex shapes without calculus.

The Pythagorean theorem provides the basis for the distance formula in Cartesian coordinates. The distance [latex]d[/latex] between two points [latex](x_1, y_1)[/latex] and [latex](x_2, y_2)[/latex] in a plane is given by [latex]d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]. This formula is a direct application of the theorem to a right triangle whose legs are the differences in the x and y coordinates.

This is a historically notable problem in mathematics. Its negative resolution by Leonhard Euler in 1736 laid the foundations of graph theory and prefigured the idea of topology. The problem asked if the seven bridges of the city of Königsberg could all be traversed in a single trip without doubling back, with the trip ending on the same landmass it began.

Euclid's fifth postulate, the parallel postulate, is the axiom that defines Euclidean geometry: it states that if a line intersects two other lines, and the interior angles on one side sum to less than two right angles ([latex]\alpha + \beta < 180^\circ[/latex]), then the two lines will eventually intersect on that side. This postulate guarantees a unique parallel line through a point not on a given line.

A Pythagorean triple consists of three positive integers a, b, and c, such that [latex]a^2 + b^2 = c^2[/latex]. A well-known example is (3, 4, 5). Euclid's formula is a fundamental method for generating these triples. Given any two positive integers m and n with [latex]m > n[/latex], the formula [latex]a = m^2 - n^2[/latex], [latex]b = 2mn[/latex], [latex]c = m^2 + n^2[/latex] generates a Pythagorean triple.

The Platonic solids are the only five convex regular polyhedra: a regular polyhedron has congruent regular polygonal faces and the same number of faces meeting at each vertex. The five solids are the tetrahedron (4 faces), cube (6 faces), octahedron (8 faces), dodecahedron (12 faces), and icosahedron (20 faces). Their symmetry and properties have been studied since antiquity.

The square root of 2 is an irrational number, meaning it cannot be expressed as a ratio of two integers [latex]p/q[/latex]. The classic proof, often attributed to the Pythagoreans, is a proof by contradiction: it assumes [latex]\sqrt{2} = p/q[/latex] in lowest terms, which leads to the conclusion that both [latex]p[/latex] and [latex]q[/latex] must be even, contradicting the initial assumption.

Ptolemy's theorem provides an elegant geometric proof for the sum and difference formulas in trigonometry. By inscribing a quadrilateral in a circle with one side as the diameter, the side lengths can be expressed as sines and cosines of the inscribed angles. Applying the theorem [latex]AC \cdot BD = AB \cdot CD + BC \cdot DA[/latex] directly yields identities like [latex]sin(alpha + beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta[/latex].

يوفر نظام الإحداثيات الديكارتية نموذجًا جبريًا للهندسة الإقليدية. ويستخدم عددًا واحدًا أو أكثر، أو إحداثيات، لتحديد موقع نقطة في الفضاء تحديدًا فريدًا. في المستوى، يُستخدم خطان متعامدان (المحوران السيني والصادي)، مما يسمح بوصف الأشكال الهندسية باستخدام معادلات جبرية. يُعرف هذا الدمج بين الجبر والهندسة بالهندسة التحليلية.

Mathematical induction is a technique used to prove that a property [latex]P(n)[/latex] holds for every natural number [latex]n[/latex]. It involves two steps: the base case, proving [latex]P(0)[/latex] or [latex]P(1)[/latex] is true, and the inductive step, proving that if [latex]P(k)[/latex] is true for some natural number [latex]k[/latex] (the induction hypothesis), then [latex]P(k+1)[/latex] is also true.