Construction ruler and compass [logic]

Mathematics Asked by Meulu Elisson on November 6, 2020

Carl is given three distinct non-parallel lines $$ell_1, ell_2, ell_3$$ and a circle $$omega$$ in the plane. In addition to a normal straightedge, Carl has a special straightedge which, given a line $$ell$$ and a point $$P$$, constructs a new line passing through $$P$$ parallel to $$ell$$. (Carl does not have a compass.) Show that Carl can construct a triangle with circumcircle $$omega$$ whose sides are parallel to $$ell_1,ell_2,ell_3$$ in some order.

Attempt: To build a triangle with a circle, just have $$3$$ points in that circle, at each point draw a line tangent to the circle and parallel to one of the given lines.

Am I right?

Alright, the Poncelet-Steiner theorem says we can do anything a compass and straightedge can do, if only we can construct the center of the given circle. That turns out to be fairly easy. Given any line, we can construct a diameter of the fixed circle that is perpendicular to the line. Now that I think of it (it's not in the diagram) we might as well make that first diameter, then simply make the diameter perpendicular to that. The intersection of the two (perpendicular) diameters is the center of the circle.

See attached diagram. The fixed circle is in red, so is the initial line being used.

Given two diameters that are not identical, the center is just where the diameters intersect.

So, the original problem ( inscribed triangle) can be solved. We know that by

Correct answer by Will Jagy on November 6, 2020

Related Questions

find the range of $x$ on which $f$ is decreasing, where $f(x)=int_0^{x^2-x}e^{t^2-1}dt$

2  Asked on December 4, 2020 by steven-lu

Differentiability for an integral function

1  Asked on December 4, 2020 by andereben

Solving a system of separable ODE’s

1  Asked on December 4, 2020 by costard

$Vert x_{n} – y_{n} Vert$is a cauchy sequence in $mathbb{F}$

1  Asked on December 4, 2020 by gaufler

equation of the form P (θ) = 0, where P is a polynomial, satisfied by the maximum likelihood estimator

0  Asked on December 4, 2020 by nisha

Evaluate $int_0^{infty } Bigl( 2qe^{-x}-frac{sinh (q x)}{sinh left(frac{x}{2}right)} Bigr) frac{dx}x$

2  Asked on December 3, 2020 by iridescent

How can one derive a partial differential equation from a function

1  Asked on December 3, 2020 by bob-pen

Dice Probability Dungeons and Dragons

3  Asked on December 3, 2020 by bangini

How can you derive an algorithm for dividing natural numbers?

0  Asked on December 3, 2020 by honza-prochazka

Expansion of the Frobenius norm

1  Asked on December 3, 2020 by wuannnn

On the definition of an algebra

1  Asked on December 3, 2020 by hakuna-matata

Distribution of a random variable given on the set of all natural number if …

0  Asked on December 3, 2020 by dabdya

Doubtful solution to an exercise on faithful flatness in Matsumura’s Commutative Algebra

1  Asked on December 3, 2020 by an-hoa

If $f(x)=frac{1-x}{1+x}$, then how do I explain graphically why $f(f(x))=x$?

4  Asked on December 3, 2020 by stupidgal123

*A: Prisoner A is selected for release. *B: The guard informs Prisoner A that Prisoner B is going to be released. Are A and B independent?

1  Asked on December 3, 2020 by t536373

Simplify the following sum $sum_{i=1}^nfrac1{n-(i-1)}$

1  Asked on December 3, 2020 by wild

What is a polynomial approximation?

3  Asked on December 2, 2020 by brilliant

Finding the smallest $k$ so that specific items are spaced exactly three apart

2  Asked on December 2, 2020 by troniix

Homotopic function question – very basic

2  Asked on December 2, 2020 by peter4075

Permutation involving different outcomes

1  Asked on December 2, 2020 by adam-mansfield