The radii of the circles circumscribing (Exercise 66) the quadrilaterals determined by the bisectors of the interior (or exterior) angles of a quadrilat-eral are in the ratio a+c-b-d/a+c+b+d, where a, b, c, d are the sides of the given quadrilateral, taken in their natural order.

Question

The radii of the circles circumscribing (Exercise 66) the quadri-laterals determined by the bisectors of the interior (or exterior) angles of a quadrilateral are in the ratio [latex]{\frac{a+c-b-d}{a+c+b+d}},[/latex] where a, b, c, d are the sides of the given quadrilateral, taken in their natural order.

Accepted Answer

Suppose the given quadrilateral is MNPQ, and suppose the quadri-laterals formed by its internal and external angle bisectors are ABCD and [latex]A^{\prime}B^{\prime}C^{\prime}D^{\prime}[/latex] respectively (fig. t420).

Lemma: Quadrilaterals ABCD, [latex]A^{\prime}B^{\prime}C^{\prime}D^{\prime}[/latex] have the same interior angles.

Proof: Since AM, [latex]A^{\prime}M[/latex] bisect [latex]{\widehat{Q M T}},~{\widehat{Q M N}}[/latex] respectively, and since the last two angles are supplementary, we have [latex]A^{\prime}M\perp\ A M.[/latex] Likewise, [latex]A^{\prime}Q\perp\ A Q,[/latex] so quadrilateral [latex]A Q A^{\prime}M[/latex] is cyclic. This means that angles [latex]{\widehat{Q A M}},\ {\widehat{Q A^{\prime}M}}[/latex] are sup-plementary (80), and therefore [latex]{\widehat{Q A M}},\ {\widehat{B^{\prime}A^{\prime}D^{\prime}}}[/latex] are supplementary. But we know, from exercise 66, that quadrilateral [latex]A^{\prime}B^{\prime}C^{\prime}D^{\prime}[/latex] is also cyclic, so [latex]{\widehat{B^{\prime}A^{\prime}D}}\ [/latex] supplements [latex]{\widehat{B^{\prime}C^{\prime}D^{\prime}}},[/latex] and [latex]\widehat{Q A M}=\widehat{B^{\prime}C^{\prime}D^{\prime}}.[/latex] We can show that the other three angles are equal in pairs in just the same way.

Note. Students can be reminded that this does not make the quadrilaterals similar. Any two rectangles have pairs of equal angles, but may not be similar.

Note also that the angles are not in ‘corresponding’ positions in figure t420: angles [latex]{\widehat{A}},{\widehat{A}^{\prime}}[/latex] are supplementary, not equal.

We turn now to the assertion itself.

We know from exercise 66 that ABCD is cyclic. And it is clear from the construction of ABCD by intersecting exterior angle bisectors, that MNP Q is the quadrilateral investigated in exercise 362b: it has the minimal perimeter of any quadrilateral inscribed in ABCD, and in particular, its sides make equal angles with those of ABCD. So we can use various relations derived in the solution to exercise 362b. (We note that these relationships are far from obvious: the solution to that exercise involved some difficult computation.)

We have, from that discussion:

(1) R · (MN + NP + P Q + QM) = AB · CD + AD · BC,

in which R is the radius of the circle circumscribing quadrilateral ABCD. Also drawing on the arguments in the solution to exercise 362b, we have (from equation (2) and others following it, in that solution):

[latex]2R^{\prime}\cdot M N=B^{\prime}M\cdot C^{\prime}D^{\prime}+B^{\prime}N\cdot D^{\prime}A^{\prime}[/latex]

[latex]2R^{\prime}\cdot N P=C^{\prime}N\cdot D^{\prime}A^{\prime}+C^{\prime}P\cdot A^{\prime}B^{\prime}[/latex]

[latex]2R^{\prime}\cdot P Q=D^{\prime}P\cdot A^{\prime}B^{\prime}+D^{\prime}Q\cdot B^{\prime}C^{\prime}[/latex]

[latex]2R^{\prime}\cdot Q M=A^{\prime}Q\cdot B^{\prime}C^{\prime}+A^{\prime}M\cdot C^{\prime}D^{\prime},[/latex]

where [latex]{{R}}^{\prime}[/latex] is the circumradius of quadrilateral [latex]A^{\prime}B^{\prime}C^{\prime}D^{\prime}.[/latex]

From these relationships, and Ptolemy’s theorem 237 we have
[latex]2R^{\prime}(M N-N P+P Q-Q M)\;=\;A^{\prime}B^{\prime}(D^{\prime}P-C^{\prime}P)+B^{\prime}C^{\prime}(D^{\prime}Q-A^{\prime}Q)\,+[/latex] [latex]C^{\prime}D^{\prime}(B^{\prime}M-A^{\prime}M)+D^{\prime}A^{\prime}(B^{\prime}N-C^{\prime}N)=2(A^{\prime}B^{\prime}.C^{\prime}D^{\prime}+B^{\prime}C^{\prime}.D^{\prime}A^{\prime})=2A^{\prime}C^{\prime}.B^{\prime}D^{\prime}[/latex]

Combining this with (1) gives us

(1) [latex]{\frac{R(M N+N P+P Q+Q M)}{R^{\prime}(M N-N P+P Q-Q M)}}={\frac{A C\cdot B D}{A^{\prime}C^{\prime}\cdot B^{\prime}D^{\prime}}}[/latex]

We now relate the product on the right hand side of this equation to [latex]R,\ R^{\prime}.[/latex] From the note in 251 we have (using absolute value for area),

4R · |ABD| = AB · BD · DA;

[latex]4R^{\prime}\cdot|A^{\prime}B^{\prime}D^{\prime}|=A^{\prime}B^{\prime}\cdot B^{\prime}D^{\prime}\cdot D^{\prime}A^{\prime},[/latex]

so that

(2) [latex]\frac{R}{R^{\prime}}\cdot\frac{|A B D|}{|A^{\prime}B^{\prime}D^{\prime}|}=\frac{A B\cdot B D\cdot A D}{A^{\prime}B^{\prime}\cdot B^{\prime}D^{\prime}\cdot D^{\prime}A^{\prime}}.[/latex]

Then 256, together with our lemma, gives us [latex]{\frac{|A B D|}{|A^{\prime} B^{\prime} D^{\prime}|}}={\frac{A B{\cdot}A D}{A^{\prime}B^{\prime}\cdot A^{\prime}D^{\prime}}}.[/latex] Comparing this with (2), we see that

[latex]{\frac{R}{R^{\prime}}}\cdot{\frac{A B\cdot A D}{A^{\prime}B^{\prime}\cdot A^{\prime}D^{\prime}}}={\frac{A B\cdot B D\cdot A D}{A^{\prime}B^{\prime}\cdot B^{\prime}D^{\prime}\cdot D^{\prime}A^{\prime}}},[/latex]

or

[latex]{\frac{R}{R^{\prime}}}={\frac{B D}{B^{\prime}D^{\prime}}}.[/latex]

Reasoning analogously from triangles ACD, [latex]A^{\prime}C^{\prime}D^{\prime}[/latex] , we find that [latex]{\begin{array}{l}{{\frac{R}{R^{\prime}}}={\frac{A C}{A^{\prime}C^{\prime}}}.}\end{array}}\,[/latex] Combining these results with the result in (1), we have:

[latex]\frac{R(M N+N P+P Q+Q M)}{R^{\prime}(M N-N P+P Q-Q M)}=\frac{R^{2}}{R^{\prime2}}.[/latex]

and a bit of algebra shows that this last equation is equivalent to the announced result.

Question P.420: The radii of the circles circumscribing (Exercise 66) the qu......

This Question has been Answered.

Already have an account?

Login

Related Answered Questions

Verified Answer:

Verified Answer:

Verified Answer:

Construct a cyclic quadrilateral knowing its sides. ...

Verified Answer:

Verified Answer:

Construct a triangle knowing an angle, the perimeter, and the area (Exercises 90b, 299). Among all triangles with a given angle and given perimeter, which one has largest area? ...

Verified Answer:

Another solution to Exercise 329: to draw through a given point inside an angle a secant which forms, with the sides of the angle, a triangle with given area. Construct first the parallelogram with a vertex at the given point, and two sides on the sides of the angle. This parallelogram cuts from ...

Verified Answer:

Verified Answer:

We are given two parallel lines, and a common perpendicular which intersects them in A, B. Points C, D are taken on these lines so that trape-zoid ABCD has an area equal to that of a given square. Let H be the projection on CD of the midpoint of AB. Find the locus of H. (One must distinguish two ...

Verified Answer:

Verified Answer: