Fascinating Geometry Problems

Solution:

Consider a triangle with vertices A, B, and C. The distance between A and B is c, between B and C is a, and between A and C is b.

A key principle in geometry is that the shortest path between two points is a straight line. If we want to travel from point A to point C, the most direct path is the straight line segment AC with length b. Any other path would involve some detour and would therefore be longer.

One alternative path from A to C is to go from A to B (distance c) and then from B to C (distance a). Since this is a non-direct path, it must be longer than the direct path, giving us:

a + c > b

By the same reasoning for the other two combinations of sides, we get:

b + c > a and a + b > c

This principle has profound implications across mathematics. It provides the foundation for understanding distances in various mathematical spaces, including Euclidean space and beyond.

Solution:

To prove this, let's examine the geometric properties of the configuration.

Let O be the center of the circle. Since AC is a diameter, O is the midpoint of AC, and both AO and OC are radii of the circle, meaning they have equal length.

As B is on the circle, the segment OB is also a radius, so AO = OB = OC.

This equality makes triangles AOB and BOC isosceles triangles. In triangle AOB, since AO = OB, the base angles OAB and OBA are congruent. Similarly, in triangle BOC, since OB = OC, the base angles OBC and OCB are congruent.

Now consider the angles in triangle ABC:

• ABC = OBA + OBC
• BAC = OAB
• BCA = OCB

Since the base angles of triangle AOB are equal, let's denote OAB = OBA = .

Similarly, for triangle BOC, let's denote OBC = OCB = .

The angle at A in triangle ABC is BAC = , and the angle at C is BCA = .

The angle at B in triangle ABC is ABC = OBA + OBC = + .

The sum of angles in triangle ABC is 180, so: + + ( + ) = 180, which simplifies to 2( + ) = 180, giving + = 90.

Therefore, ABC = + = 90, proving that it's a right angle, as required.

Solution:

Let ABC be a triangle, with vertices labeled in the usual way. Let D, E, and F be the feet of the altitudes from A, B, and C, respectively. Let M, N, and P be the midpoints of BC, CA, and AB, respectively. Finally, let H be the orthocenter of the triangle (the intersection of the three altitudes), and let X, Y, and Z be the midpoints of AH, BH, and CH, respectively.

We'll use homothety (a geometric transformation) to prove that all nine points lie on the same circle.

Consider the homothety with center H and scale factor 1/2. This transformation maps each vertex A, B, C to points X, Y, Z respectively (the midpoints of AH, BH, CH).

This homothety also maps the circumcircle of triangle ABC to a circle with half the radius, passing through X, Y, and Z.

Now, consider the homothety with center H and scale factor -1/2. This transformation maps each vertex A, B, C to points that are the reflections of X, Y, Z across the midpoints of the opposite sides. These points are precisely D, E, F (the feet of the altitudes).

This shows that D, E, F also lie on the same circle as X, Y, Z.

Finally, we need to show that the midpoints M, N, P of the sides also lie on this circle. We can use the fact that the homothety with center H and scale factor 1/2 maps the midpoint of BC to a point on the line connecting H to the midpoint of BC. By geometric reasoning, this point is exactly the midpoint M.

Similarly, N and P also lie on this circle. Therefore, all nine points D, E, F, M, N, P, X, Y, and Z lie on the same circle.

The radius of this nine-point circle is exactly half the radius of the circumcircle of the original triangle.

Solution:

We'll prove this elegant theorem using the concept of area ratios.

First, assume that AD, BE, and CF intersect at a common point P. Let's denote the areas of triangles as:

• [PBC] = X
• [PCA] = Y
• [PAB] = Z

Now, consider the ratio BD/DC. Since B, D, and C are collinear, and triangles PBD and PDC share the same height from vertex P to line BC, the ratio of their areas equals the ratio of their bases:

[PBD]/[PDC] = BD/DC

But we can also express [PBD]/[PDC] in another way. Both triangles PAB and PCA share the same height from vertex A to line PB and PC, so:

[PAB]/[PCA] = BD/DC

This gives us BD/DC = Z/Y.

Similarly, CE/EA = X/Z and AF/FB = Y/X.

Multiplying these three ratios gives us:

BD/DC CE/EA AF/FB = (Z/Y) (X/Z) (Y/X) = 1

This proves the "only if" direction of the theorem.

Now, for the converse, assume that BD/DC CE/EA AF/FB = 1. Let's prove that AD, BE, and CF must be concurrent.

Let AD and BE intersect at point P. Draw a line through C and P, and let it intersect AB at point F'.

By the first part of the proof, since AD, BE, and CF' are concurrent at P, we have:

BD/DC CE/EA AF'/F'B = 1

Comparing this with our given condition, we get:

AF'/F'B = AF/FB

Since F and F' divide AB in the same ratio, they must be the same point, meaning F' = F. Therefore, CF passes through P, and AD, BE, and CF are concurrent.

Solution:

We'll prove this fundamental theorem by mathematical induction on the number of edges E.

Base case: If E = 0, then the graph consists of a single vertex with no edges. In this case, we have V = 1 vertex, E = 0 edges, and F = 1 face (the infinite outer face). Therefore, V - E + F = 1 - 0 + 1 = 2, as required.

Inductive step: Assume the formula holds for all planar graphs with E = k edges. Consider a planar graph G with k + 1 edges.

There are two cases to consider:

1. If G contains a vertex v that is incident to only one edge, we can remove v and its incident edge to obtain a new graph G' with k vertices and k - 1 edges. By the inductive hypothesis, V' - E' + F' = 2. When we add back v and its edge, we increase V by 1 and E by 1, while F remains unchanged. Therefore, V - E + F = (V' + 1) - (E' + 1) + F' = V' - E' + F' = 2.
2. If every vertex of G is incident to at least two edges, then every edge of G lies on a cycle. We can remove an edge from a cycle without disconnecting the graph. Removing this edge decreases F by 1 (since two faces merge into one) and decreases E by 1, while V remains unchanged. By the inductive hypothesis, V' - E' + F' = 2, so V - E + F = V' - (E' + 1) + (F' + 1) = V' - E' + F' = 2.

In either case, the formula holds for graphs with k + 1 edges, completing our proof by induction.

This elegant formula has remarkable implications for geometry. It can be used to prove that there are only five regular convex polyhedra (the Platonic solids) and has deep connections with the classification of surfaces in topology.