Intereting Posts

Find a basis of the $k$ vector space $k(x)$
Meaning of $\geqslant$, $\leqslant$, $\eqslantgtr$, $\eqslantless$
Defining/constructing an ellipse
Find the four digit number?
Isomorphism of quaternions with a matrix ring over real numbers
Relation between bernoulli number recursions
Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”
Fixed Point of $x_{n+1}=i^{x_n}$
Every element in a ring with finitely many ideals is either a unit or a zero divisor.
$\limsup$ and cluster points
Running in the rain, good or bad idea?
Is the metric induced by convergence in probability (Ky Fan metric) complete?
Cohomology easier to compute (algebraic examples)
using the same symbol for dependent variable and function?
How to evaluate $\sum\limits_{k=0}^{n} \sqrt{\binom{n}{k}} $

Euclid has a magical compass with which he can trisect any angle. Together with a regular compass and a straightedge, can he construct a regular heptagon?

- Why is the inradius of any triangle at most half its circumradius?
- Where does the Pythagorean theorem “fit” within modern mathematics?
- Relationship between intersection and compositum of fields
- On Galois groups and $\int_{-\infty}^{\infty} \frac{x^2}{x^{10} - x^9 + 5x^8 - 2x^7 + 16x^6 - 7x^5 + 20x^4 + x^3 + 12x^2 - 3x + 1}\,dx$
- What is a good way to find an algebraic field extension that is not separable and not normal?
- Find Galois Group
- Simple extension of $\mathbb{Q} (\sqrt{2},i)$
- Does the notion of “rotation” depend on a choice of metric?
- Finding the circles passing through two points and touching a circle
- Is every group a Galois group?

Gleason’s article “Angle Trisection, the Heptagon, and the Triskaidecagon” (also available here) mentions a construction due to Plemelj:

Draw the circle with center $O$ passing through $A$ and on it find $M$ so that $AM=OA$. Bisect $OM$ at $N$, and trisect at $P$, and find $T$ on $NP$ so that $\angle NAT=\frac13\angle NAP$. $AT$ is the needed side of the heptagon.

To validate Plemelj’s construction, we must prove that $AT=OA\left(2\sin\dfrac{\pi}{7}\right)$. Since $2\cos\dfrac{2\pi}{7}=2-\left(2\sin\dfrac{\pi}{7}\right)^2$, it follows from $x=2\cos\dfrac{2\pi}{7}$ being a root of $x^3+x^2-2x-1=0$ that $2\sin\dfrac{\pi}{7}$ is a root of

$$(2-x^2)^3+(2-x^2)^2-2(2-x^2)-1=0$$

the other roots being $-2\sin\dfrac{\pi}{7}$, $\pm 2\sin\dfrac{2\pi}{7}$, and $\pm 2\sin\dfrac{3\pi}{7}$. The equation can be factored as

$$\left(x^3+\sqrt 7\left(x^2-1\right)\right)\left(x^3-\sqrt 7\left(x^2-1\right)\right)=0$$

The roots corresponding to the first cubic factor are $2\sin\dfrac{\pi}{7}$, $-2\sin\dfrac{2\pi}{7}$, and $-2\sin\dfrac{3\pi}{7}$. Writing the first cubic factor in the form

$$\left(\frac1{x}\right)^3-\frac1{x}=\frac1{\sqrt 7}$$

and making the substitution $\dfrac1{x}=\dfrac2{\sqrt 3}\cos\,\psi$ yields the equation $\cos\,3\psi=\sqrt{\dfrac{27}{28}}$. The desired root corresponds to the choice

$$\psi=\frac13\arccos\sqrt{\frac{27}{28}}=\frac13\arctan\frac1{3\sqrt 3}$$

which yields

$$2\sin\frac{\pi}{7}\cos\,\psi=\frac{\sqrt 3}{2}$$

From the figure, we have $\angle NAP=\arctan\dfrac1{3\sqrt 3}$, so $\angle NAT=\psi$. We thus have $AT\cos\,\psi=AN=\dfrac{\sqrt 3}{2}OA$, and from this we also have $AT=OA\left(2\sin\dfrac{\pi}{7}\right)$.

**The exact construction for the regular heptagon by angle trisection**

Let the triangle ABC with AB=r , AC=3r/2 and BAC=60 deg ,

has D on AC so that angle ABD is one-third of the angle ABC.

Then BD is the side of the regular heptagon inscribed in a circle of r.

The hypotenuse of the right triangle with legs 5 and 6 ,

may be assumed for heptagon side (r=9).

*based on Vieta’s ideas 1593 – prepared by Ryszard Lesny, 2016*

- Does Pi contain all possible number combinations?
- What is a general solution to a differential equation?
- How to derive the formula for the sum of the first $n$ perfect squares?
- Proving $\binom{2n}{n}\ge\frac{2^{2n-1}}{\sqrt{n}}$
- Proving this relation is transitive
- Notation regarding different derivatives
- Choosing an abstract algebra text
- Why is boundary information so significant? — Stokes's theorem
- Solving $\lim_{n\to\infty}(n\int_0^{\pi/4}(\tan x)^ndx)$?
- Proving an operator is compact exercise
- About Euclid's Elements and modern video games
- Creating unusual probabilities with a single dice, using the minimal number of expected rolls
- How to prove Chebyshev's result: $\sum_{p\leq n} \frac{\log p}{p} \sim\log n $ as $n\to\infty$?
- Does set theory help understand machine learning or make new machine learning algorithms?
- Finding multivariable limits for the function $\frac{3x^2y}{x^2+y^2}$