Given a compass, a straightedge, and a convex quadrilateral $ABCD$, construct a point $X$ such that the circumcircle of $\triangle{AXB}$ is tangent to the circumcircle of $\triangle{CXD}$, and the circumcircle of $\triangle{AXD}$ is tangent to the circumcircle of $\triangle{BXC}$.
I have no clue on how to start, because I can't find a point such that these conditions are true. I guess $X$ has to be really near one side?
Given a compass + straightedge, construct convex quadrilateral tangent to circumcircle
euclidean-geometrygeometric-constructiongeometry
Related Solutions
- Construct $\bigcirc A$ through $O$.
- Let $P_1$ and $P_2$ be the points where $\bigcirc A$ meets $\bigcirc O$.
- Construct $\bigcirc P_1$ through $P_2$.
- Let $C$ be the (other) point where $\bigcirc P_1$ meets $\bigcirc O$.
- Construct $\overleftrightarrow{OP_1}$.
- Let $Q_1$ and $Q_2$ be the points where $\overleftrightarrow{OP_1}$ meets $\bigcirc P_1$.
- Construct $\overleftrightarrow{CQ_1}$.
- Let $B$ be the point where $\overleftrightarrow{CQ_1}$ meets $\bigcirc O$.
- Note that we have constructed $\overleftrightarrow{BC}$.
- Construct $\overleftrightarrow{CQ_2}$.
- Let $D$ be the point where $\overleftrightarrow{CQ_2}$ meets $\bigcirc O$.
- Note that we have constructed $\overleftrightarrow{CD}$.
- Construct $\overleftrightarrow{AB}$.
- Construct $\overleftrightarrow{AD}$.
Square $\square ABCD$, with constructed edge-lines, is inscribed in $\bigcirc O$. (Proof that the quadrilateral is, in fact, a square, is left as an exercise to the reader.)
Edit. Having been asked to elaborate on the square ...
As of Step 2, we know $\triangle P_1 P_2 C$ is equilateral and that $\overline{OA}$ is on the perpendicualr bisector of side $\overline{P_1 P_2}$. Therefore, $\overline{AC}$ is a diameter of $\bigcirc O$, and we have that $\angle ABC$ and $\angle ADC$ (for point $D$ constructed later) are right angles by Thales' Theorem.
As of Step 4, as observed by Jan and Tristan in the comments, $\overline{Q_1 Q_2}$ is a diameter of $\bigcirc{P_1}$, so $\angle Q_1 C Q_2$ is a right angle. Therefore, $\square ABCD$ is at least a rectangle.
Now, define $a := |\overline{OA}|$, so that $|\overline{P_1P_2}| = a\sqrt{3}$ and $|\overline{OQ_1}| = a( 1 + \sqrt{3})$. Since $\angle AOQ_1 = 60^\circ$, if we let $R$ be the foot of the perpendicular from $Q_1$ to $\overleftrightarrow{OA}$, then $|\overline{OR}| = \frac{a}{2}( 1 + \sqrt{3})$ and $$|\overline{Q_1R}| = \frac{a \sqrt{3}}{2}(1+\sqrt{3}) = \frac{a}{2}(3 + \sqrt{3}) = a + |\overline{OR}| = |\overline{CR}|$$ Thus, $\angle Q_1 C R = 45^\circ$ and we may conclude that $\square ABCD$ is a square. $\square$
Best Answer
When you can't figure out how something like this will happen, it often pays to invert the logic. What if we start with the tangent circles, and see what quadrilaterals we can get that way?
In addition to the circles, I've drawn in the centers $P,Q,R,S$. The two pairs of tangent circles give us that $X$ lies on the line segments $PR$ and $QS$. $X$ is unlabeled in the figure due to too much clutter, but it's the point in the middle where all those circles and lines intersect.
Now, we start chasing angles. From isosceles triangle $XSA$ and the circle $S$ is the center of, $\angle AXS=90^\circ-\frac12\angle XSA=90^\circ-\angle XDA$. Similarly, $\angle QXB=90^\circ-\angle BCX$. From the straight line due $QXS$, $\angle BXA=180^\circ-\angle QXB-\angle AXS=\angle XDA+\angle BCX$. Similarly, using triangles $CRX$ and $XPB$, $\angle CXB=\angle CDX+\angle XAB$. Add the two equations: $$\angle CXA=\angle CXB+\angle BXA=\angle XDA+\angle BCX+\angle CDX+\angle XAB=\angle CDA+\angle BCX+\angle XAB$$ Consider the quadrilateral $CXAB$. The sum of its angles is $360^\circ$, so if we add $\angle CXA+\angle ABC$ to both sides of the equation, we get $$2\angle CXA+\angle ABC=\angle CDA+360^\circ$$ $$\angle CXA=180^\circ+\frac{\angle CDA-\angle ABC}{2}$$ That is the key to our construction - we have found an angle through $X$ in terms of angles of the original quadrilateral. The locus of all points that make that particular angle is a circular arc between $A$ and $C$. If we construct that circle, and the corresponding circular arc for $\angle DXB=180^\circ+\frac{\angle DAB-\angle BCD}{2}$, the intersection will be the $X$ we seek.
I won't write out the explicit construction for those arcs here, but it's routine in theory. Note that the "inside" of the arc is toward the larger of the two angles, and it becomes a line segment in the case of equal angles.