Problem 7 - Algebra and Geometry

Question

Show that if \(\theta\) is real then \(\left|e^{i \theta}-1\right|=2 \sin (\theta / 2)\). Use this to derive Ptolemy's theorem: if the four vertices of a quadrilateral \(Q\) lie on a circle. then \(d_{1} d_{2}=\ell_{1} \ell_{3}+\ell_{2} \ell_{4}\), where \(d_{1}\) and \(d_{2}\) are the lengths of the diagonals of \(Q\), and \(\ell_{1}, \ell_{2}, \ell_{3}\) and \(\ell_{4}\) are the lengths of its sides taken in this order around \(Q .\)

Step-by-Step Solution

Answer

If \(\theta\) is real, then \(|e^{i\theta} - 1| = 2\sin(\theta/2)\). This identity leads to Ptolemy's theorem for cyclic quadrilateral relations.

Step 1: Express the Complex Number in Polar Form

Consider the complex number in the form of Euler's formula: \( e^{i\theta} = \cos(\theta) + i\sin(\theta) \). This is the polar representation of a complex number on the unit circle with an angle \( \theta \).

Step 2: Calculate the Magnitude

To find \(|e^{i\theta} - 1|\), express it as \((\cos(\theta) + i\sin(\theta)) - 1\), which simplifies to \((\cos(\theta) - 1) + i\sin(\theta)\). The magnitude is then calculated as:\[|e^{i\theta} - 1| = \sqrt{(\cos(\theta) - 1)^2 + \sin^2(\theta)}\]

Step 3: Use Trigonometric Identities

Using the identity \(\cos(2x) = 1 - 2\sin^2(x)\), express \(\cos(\theta)\) in terms of \(\sin(\theta/2)\):\(\cos(\theta) = 1 - 2\sin^2(\theta/2)\).Plug this back into the magnitude expression:

Step 4: Simplify the Expression

Substitute \(\cos(\theta) = 1 - 2\sin^2(\theta/2)\) into the magnitude:\[|e^{i\theta} - 1| = \sqrt{(1 - 2\sin^2(\theta/2) - 1)^2 + \sin^2(\theta)}= \sqrt{4\sin^4(\theta/2) + 4\sin^2(\theta/2) \cos^2(\theta/2)}\]Using \(\sin^2(\theta) = 4\sin^2(\theta/2)\cos^2(\theta/2)\), this becomes:\[|e^{i\theta} - 1| = 2\sin(\theta/2)\]

Step 5: Translation to Ptolemy's Theorem

Consider four complex numbers \(A, B, C, D\) representing vertices of a cyclic quadrilateral. Use the derived expression where differences between the powers of complex numbers resemble lengths of the diagonals and sides. This explores the relationships:\((A - C) \times (B - D) = (A - B) \times (C - D) + (B - C) \times (A - D)\).This translates through lengths as \(d_1 d_2 = \ell_1 \ell_3 + \ell_2 \ell_4\).

Key Concepts

Euler's Formula

Euler's Formula is a magnificent bridge between complex numbers and trigonometry. It states that for any real number \( \theta \), the complex exponential \( e^{i\theta} \) can be expressed as:

• \( e^{i\theta} = \cos(\theta) + i\sin(\theta) \).

This formula is essential for expressing complex numbers in polar form, using angles (\( \theta \)) to represent their position around the unit circle.
When using Euler’s Formula, converting between exponential and trigonometric forms becomes extremely manageable.
In this exercise, Euler's Formula helps us express the difference \( e^{i\theta} - 1 \) in a form that allows easy computation of its magnitude. This is just the beginning of seeing how powerful complex numbers can be in expressing and solving problems.
We start with the expression \( e^{i\theta} \) to simplify complex operations, linking directly to trigonometric identities, therefore integrating several aspects of complex analysis and geometry.

Trigonometric Identities

Trigonometric Identities are fundamental in simplifying expressions and solving equations involving angles and trigonometric functions.

• A pivotal identity involved is \( \cos(2x) = 1 - 2\sin^2(x) \), which relates \( \cos(\theta) \) directly to \( \sin(\theta/2) \).

This identity allows us to express trigonometric functions in different forms, easing the solution process.
In our exercise, by substituting \( \cos(\theta) = 1 - 2\sin^2(\theta/2) \) into the magnitude expression, we can see how trigonometric properties simplify complex equations.
Understanding these identities is critical as they frequently arise in both theoretical concepts and practical applications across mathematics and physics. They are often used to convert trigonometric expressions for clarity and computational ease, such as converting complex computations into simpler, more visual expressions.

Cyclic Quadrilaterals

A Cyclic Quadrilateral is a four-sided figure with all its vertices lying on a single circle, also known as a circumscribed circle. This characteristic gives rise to interesting geometric properties and theorems.
In a cyclic quadrilateral, opposite angles sum to \( 180^\circ \). This property not only aids in proving numerous geometric theorems but also in simplifying expressions involving these angles.

• The concept ties into Ptolemy's Theorem to help relate the sides and diagonals of the quadrilateral.

When vertices are represented by complex numbers on the circle, this cyclic property helps illustrate and solve complex geometric relationships elegantly and succinctly. The circle's uniform nature provides symmetry, making complex geometric calculations possible through straightforward algebraic manipulations.

Ptolemy's Theorem

Ptolemy's Theorem is a beautiful result in geometry related to cyclic quadrilaterals. It states that for a cyclic quadrilateral with diagonals \( d_1 \) and \( d_2 \) and side lengths \( \ell_1, \ell_2, \ell_3, \ell_4 \), the following relationship holds:

• \( d_1 d_2 = \ell_1 \ell_3 + \ell_2 \ell_4 \).

This theorem is valuable because it links the sides of the quadrilateral to its diagonals, providing a simple yet profound relationship.
By connecting Euler's Formula and trigonometric identities to complex numbers, Ptolemy's Theorem illustrates how different mathematical areas intertwine to solve problems concerning geometry.
Utilizing the earlier proof on magnitude, it becomes clear how certain expressions align beautifully with Ptolemy’s theorem. This connection not only solves geometric problems but also enhances the understanding of relationships within cyclic shapes.