Long ago in a galaxy far away there was a planet of liars and truth tellers, it is known that liars always tell lie, and truth tellers always respond with correct statements. All the inhabitants of the planet look identical to each other, so there is no way to distinguish between liars and truth tellers just by looking at them.
The planet is ruled by the government, where one may encounter honest governors as well as liars. The government is controlled by the High Council, where again one can meet liars and truth tellers.
Last weekend we held the verbal challenge and today we decided to demonstrate solutions of the most juicy problems.
Today we will focus on the study of Euclidean geometry of plane figures. Around 300 BCE a Greek mathematician Euclid developed a rigorous way to study plane geometry in his work Elements based on axioms (statement assumed to be correct) and theorems (statements deduced from axioms). The axioms of Euclidean Elements are the following:
For any two different points, there exists a line containing these two points, and this line is unique.
A straight line segment can be prolonged indefinitely.
A circle is defined by a point for its centre and a distance for its radius.
All right angles are equal.
For any line \(L\) and point \(P\) not on \(L\), there exists a line through \(P\) not meeting \(L\), and this line is unique.
In examples we deduce from the axioms above the following basic principles:
1. The supplementary angles (angles "hugging" a straight line) add up to \(180^{\circ}\).
2. The sum of all internal angles of a triangle is also \(180^{\circ}\).
3. A line cutting two parallel lines cuts them at the same angles (these are called corresponding angles).
4. In an isosceles triangle (which has two sides of equal lengths), the two angles touching the third side are equal.
Let’s have a look at some examples of how to apply these axioms to prove geometric statements.
We call two figures congruent if their corresponding sides and angles are equal. Let \(ABD\) an \(A'B'D'\) be two right-angled triangles with right angle \(D\). Then if \(AD=A'D'\) and \(AB=A'B'\) then the triangles \(ABD\) and \(A'B'D'\) are congruent.
It follows from the previous statement that if two lines \(AB\) and \(CD\) are parallel than angles \(BCD\) and \(CBA\) are equal.
We prove the other two assertions from the description:
The sum of all internal angles of a triangle is also \(180^{\circ}\).
In an isosceles triangle (which has two sides of equal lengths), two angles touching the third side are equal.
In the triangle \(ABC\) the sides are compared as following: \(AC>BC>AB\). Prove that the angles are compared as follows: \(\angle B > \angle A > \angle C\).
Consider a quadrilateral \(ABCD\). Choose a point \(E\) on side \(AB\). A line parallel to the diagonal \(AC\) is drawn through \(E\) and meets \(BC\) at \(F\). Then a line parallel to the other diagonal \(BD\) is drawn through \(F\) and meets \(CD\) at \(G\). And then a line parallel to the first diagonal \(AC\) is drawn through \(G\) and meets \(DA\) at \(H\). Prove the \(EH\) is parallel to the diagonal \(BD\).
Find all solutions of the puzzle \(HE \times HE = SHE\). Different letters denote different digits, while the same letters correspond to the same digits.
Cut an arbitrary triangle into parts that can be used to build a triangle that is symmetrical to the original triangle with respect to some straight line (the pieces cannot be inverted, they can only be rotated on the plane).
The numbers from \(1\) to \(9\) are written in a row. Is it possible to write down the same numbers from \(1\) to \(9\) in a second row beneath the first row so that the sum of the two numbers in each column is an exact square?