5
$\begingroup$

I have two circular arcs $ABCF$ and $ADEF$ which have the same endpoints $A, F$ and 'contain' the points $B, C$ and $D, E$ in the specified order.

How can I prove that there cannot be a circular arc $BCDE$, i.e. one that starts in $B$, intersects $C$ before $D$ and ends in $E$?


If both arcs are minor circular arcs, I can show that $B$ and $E$ must lie on different sides of the line through $C$ and $D$, hence either $BCD$ would be clockwise and $CDE$ counterclockwise or the other way around. Either way they could not form a circular arc $BCDE$ together.

1


However the case where one (or both) are major circular arcs cause me trouble.

Edit 1: Please note that the circular arcs may not overlap.

Edit 2: To clarify – the 'drawing' whose (non)existence I want to prove contains circular arcs $AB, BC, CF, AD, DE, EF, BC, CD, DE$. None of these may overlap and they shall form larger circular arcs together: $ABCF$ is made of $AB, BC, CF$; $ADEF$ is made of $AD, DE, EF$; and $BCDE$ is made of $BC, CD, DE$.

3 Answers 3

1

This answer calls figure 1 below "a quadrilateral $BCDE$" and figure 2 below "a quadrilateral $BCED$". The vertices of figure 1 are $B,C,D,E$ clockwise. On the other hand, the vertices of figure 2 are $B,C,E,D$ clockwise.

$\qquad\qquad\qquad$enter image description here


To prove by contradiction that there is no cirlce on which $B,C,D,E$ exist in this order, we suppose that there is such a circle.

Let us see, under the supposition, what conditions the four point $B,C,D,E$ in the figure given in the question has to satisfy.

Now, suppose that there is a circle on which $B,C,D,E$ exist in this order. (see the figure below. Note that the quadrilateral here is $BCDE$, not $BCED$.)

$\qquad\qquad\qquad$enter image description here

Then, from the inscribed angle theorem, we get $$\angle{BCE}=\angle{BDE}\tag1$$ $$\angle{CBD}=\angle{CED}\tag2$$ $$\angle{CDB}=\angle{CEB}\tag3$$ $$\angle{DCE}=\angle{DBE}\tag4$$

These are the necessary conditions which the four points $B,C,D,E$ in the figure given in the question has to satisfy to have a circle on which $B,C,D,E$ exist in this order.

Now let us come back to the figure given in the question.

We now know that the four points $B,C,E,D$ in the figure given in the question have to satisfy $(1)(2)(3)(4)$.

So, from $(1)(2)$, we have that the quadrilateral $BCED$ (not $BCDE$) has to be a parallelogram.

And from $(3)(4)$, the four inner angels have to be the same and so we have that the quadrilateral $BCED$ (again, not $BCDE$) has to be a rectangle. (see the figure below. The figure below is the same as the figure given in the question except that we have that the quadrilateral $BCED$ has to be a rectangle.)

$\qquad\qquad$enter image description here

Then, finally, we see that the order of the four points on the circumscribed circle of the rectangle $BCED$ has to be $B,C,E,D$.

This contradicts the supposition that there is a circle on which $B,C,D,E$ exist in this order.

It follows from this that there is no circle on which $B,C,D,E$ exist in this order. $\blacksquare$

  • 0
    How does it have to be a parallelogram? The [thing you drew](https://i.stack.imgur.com/UjXz0.gif) isn't even a parallelogram.2017-02-04
  • 0
    @ChristianSchnorr: I wrote that the quadrilateral $BCED$ (note that it is not $BCDE$) is a parallelogram. I hope this helps.2017-02-04
  • 0
    I don't see how that is a parallelogram either. Where are the parallel sides?2017-02-04
  • 0
    @ChristianSchnorr: From $(1)$, we have $\angle{BCE}=\angle{BDE}$. Let $\alpha$ be this angle. From $(2)$, $\angle{CBD}=\angle{CED}$. Let $\beta$ be this angle. In the quadrilateral $BCED$, $2\alpha+2\beta=360^\circ$, so $\alpha+\beta=180^\circ$. From this, we see that $BC$ is parallel to $DE$ and that $CE$ is parallel to $BD$.2017-02-04
  • 0
    I don't agree with (1)-(4) either. Just look at the drawing -- there are no parallel sides whatsoever.2017-02-04
  • 0
    @ChristianSchnorr: $(1)-(4)$ comes from [the inscribed angle theorem](https://en.wikipedia.org/wiki/Inscribed_angle). They don't come from something about parallel sides.2017-02-04
  • 0
    @ChristianSchnorr: The quadrilateral $BCDE$ does not necessarily have parallel sides, as you wrote. However, the quadrilateral $BCED$ (please note that it is not $BCDE$) has to be a parallelogram using $(1)(2)$. Moreover, using $(3)(4)$, we see that it is even a rectangle.2017-02-04
  • 0
    Let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/53032/discussion-between-christian-schnorr-and-mathlove).2017-02-04
  • 0
    I must admit I don't undertsand this "proof". Your first figure and the 4 equations I understand, but when you then deduce that "quadrilateral BCED has to be a parallelogram", I'm lost. A [parallelogram](https://en.wikipedia.org/wiki/Parallelogram) is non-self-intersecting, which your first figure shows isn't true. What am I missing here?2017-02-05
  • 0
    @Jens: This answer calls figure 1 "a quadrilateral BCDE" which is not a parallelogram. (The right-upper vertex is D in figure 1) On the other hand, this answer calls figure 2 "a quadrilateral BCED" which is a parallelogram. (The right-upper vertex is E in figure 2) We see that figure 2 has to be a parallelogram using $(1)-(4)$.2017-02-05
  • 0
    I think you made a mistake in your comment above when naming figure 2 as "a quadrilateral BCDE" (I suspect it should be "a quadrilateral BCED"). But in either case, I'm still lost. I have a feeling that your proof may have merit, but I just don't see it. May I suggest that you seriuosly expand on your proof to show what the gist of your proof is, what your assumptions are at each point and what it is you are now proving at each stage? Just a suggestion.2017-02-05
  • 0
    @Jens: Thanks for the suggestion. I've added some explanations at the top.2017-02-05
  • 0
    Thank you for providing the gist of your proof. Where this gist breaks down for me is at item 3. Why are you trying to impose stuff derived from the first figure onto the second figure? Why is the second figure relevant? Why would stuff derived from the first figure also be true for the second?2017-02-05
  • 0
    @Jens: From the figure in the question, we can always take a quadrilateral B,C,E,D (the order is B,C,E,D here). This quadrilateral has to satisfy the conditions (1)(2)(3)(4) derived from the supposition.2017-02-05
  • 0
    Well, I hope you and @Christian worked things out in the chat. Personally, I'm still lost. Way past bedtime now, though. Good luck.2017-02-05
0

Suppose we have the unit circle centered at the origin. Then we can assign points $A$, $B$, $C$, $D$, $E$, and $F$ have coordinates $$A = \left( \cos \theta_1, \sin \theta_1 \right), $$ $$B = \left( \cos \theta_2, \sin \theta_2 \right), $$ $$C = \left( \cos \theta_3, \sin \theta_3 \right), $$ $$D = \left( \cos \theta_4, \sin \theta_4 \right), $$ $$E = \left( \cos \theta_5, \sin \theta_5 \right), $$ $$F = \left( \cos \theta_6, \sin \theta_6 \right), $$ where $$ \theta_1 < \theta_4 < \theta_5 < \theta_6 < \theta_3 < \theta_2.$$ Does this sort of reasoning take you any closer?

  • 0
    Not all 6 points need to lie on the same circle. If they did, then all three circular arcs $ABCF, ADEF, BCDE$ would be part of that very circle, and obviously the 'order' of points on the last circular arc would be violated.2017-01-31
0

There is only one circle circumscribed circle which have for center the intercection of the bissection of the triangle.

The intersection of the bissections of a triangle is inside the Area of a triangle so it can not belong to both triangles !

  • 0
    I can't quite make the connection to bisections. Could you elaborate on that please?2017-01-31
  • 0
    There is only one and only one circle passing through three non aligned points. We can know the center of this circle by finding the location of the circumcenter and If and only if a triangle is acute (all angles smaller than a right angle), the circumcenter lies inside the triangle.2017-01-31
  • 0
    Therefore the cicumcenter of CEB and BED is not at the same location2017-01-31
  • 0
    What guarantees that both CEB and BED are acute?2017-01-31
  • 0
    If the two triangles are at the same time it seems that BCDE is a rectangle and they could form a circular arc, i guess i made a mistake... sorry2017-01-31
  • 0
    But i don't find my mistake if you have an explanation please share it :)2017-01-31