Bisecting the perimeter of a triangle

Questions
,
1

In the process of developing some demonstrations I published recently about bisecting the perimeter of triangles I came across the following result. Consider the arc AB of a circle, the segment AB not necesarily being a diameter of the circle. If M is the apex in the middle of the arc and we join it to the center N of AB, then clearly AN = BN. In other words, if we join the middle M of arc AB with the middle N of segment AB, segments MN and AB are perpendicular and AN = BN. Perhaps the following manipulate would clarify the idea.

 Manipulate[
 Block[{r}, r = Sqrt[1 + h^2];
  {c1, c2} = If[h < 0, {6, 5}, {5, 6}];
  Graphics[{{EdgeForm[Thick], ColorData[2, c1], Disk[{0, -h}, r], 
     ColorData[2, c2], 
     Disk[{0, -h}, r, {ArcTan @@ {1, h}, ArcTan @@ {-1, h}}]}, 
    ColorData[2, c1], Rectangle[{-1, -h}, {1, 0}], Black, 
    Line[{{-1, 0}, {1, 0}}], Line[{{0, -h + r}, {0, 0}}], 
    Style[{Text["A", {-1, -.1}], Text["B", {1, -.1}], 
      Text["M", {0, -h + r + .1}], Text["N", {0, -.1}]}, 20, Bold]}, 
   PlotRange -> 1.2]],
 
 {{h, 0, "circle"}, -1, 2, Slider}]

pic1.png
pic1.png411×455 5.8 KB

Now for the interesting part. Suppose that there is a point C on the arc AB and instead of defining N as the perpendicular from M to AB, we take N as the perpendicular from M to AC and now relabel as D the middle point of segment AB (if point C is at the left of M we take N to be the perpendicular from M to BC). The following manipulate illustrates this.

 Manipulate[
 r = Sqrt[1 + h^2];
 al = If[h == 0, Pi/2, ArcTan[1/h]];
 a = If[h > 0, {al - Pi/2, 
    3 Pi/2 - al}, {Pi/2 - al, Pi/2 + al}];
 ac = cc Last[a] + (1 - cc) First[a];
 c = {0, h} + r {Cos[ac], Sin[ac]};
 n = If[First[c] > 0, {-1, 0} + 
    Projection[{1, h + r}, c + {1, 0}], {1, 0} + 
    Projection[{-1, h + r}, c - {1, 0}]];
 Graphics[{EdgeForm[Thick],
   Circle[{0, h}, r, a], Black, Line[{{-1, 0}, c, {1, 0}, {-1, 0}}], 
   Line[{{0, h + r}, n}], 
   Style[{Text["A", {-1, -.1}], Text["B", {1, -.1}], 
     Text["M", {0, h + r + .1}], Text["D", {0, -.1}], Text["C", c], 
     Text["N", n]}, 20, Bold]}, 
  PlotRange -> {{-1.5, 1.5}, {-.2, 2.5}}],
 
 {{h, 0, "circle"}, -3, .9, Slider},
 {{cc, .3, "point C"}, 0, 1, Slider}]

pic2.png
pic2.png411×447 4.08 KB

Surprisingly, considering lengths, AN = NC + CB (or BN=NC+AC if C is to the left of M). Perhaps some reader can come up with a proof of this result?. What has this to do with bisecting perimeters of triangles and what is the importance of point D to even having received a label? Well, it turns out that the segment DN bisects the perimeter of triangle ABC.

In seeking for an algebraic proof of this result, we set a = (1, 0), b = (-1, 0), d=(0,0) and the center of the circle at (0, h) with variable h. The radius of the circle is then r = Sqrt[1 + h^2]. Thus m = (0, h + r) and c = (0, h) + r (cos (t), sin (t)) for some value of t not exceeding pi/2 (the other bound will be mentioned later).
The point n is then obtained as

{a, b} = {{-1, 0}, {1, 0}};
r = Sqrt[1 + h^2];
m = {0, h + r};
c = {0, h} + r {Cos[t], Sin[t]};
n = FullSimplify[a + (m - a).(c - a) (c - a)/((c - a).(c - a))]

 {1/2 (-1 + (h + Sqrt[1 + h^2]) Cos[t] + Sin[t]), 1/2 (-Cos[t] + (h + Sqrt[1 + h^2]) (1 + Sin[t]))}

With these values, the expression we want to verify being equal to zero is tested as:

 FullSimplify[Norm[n - a] - Norm[n - c] - Norm[c - b] /. Abs[xx_]^2 -> xx^2, t < Pi/2]

 -Sqrt[(-1 + h (-h + Sqrt[1 + h^2])) (-1 + Sin[t])] + Sqrt[(1 + 
    h (h + Sqrt[1 + h^2])) (1 + Sin[t])] - 
 Sqrt[2] Sqrt[1 + h^2 + Sqrt[1 + h^2] (-Cos[t] + h Sin[t])]

So, we are left with the following (probably) true theorem

pic3.png

but this takes us further away from the proof we want.

5 Likes