Conway’s circle has the larger diameter. The “diameter” of the shape of constant width is exactly one of the chords we were discussing. But in Conway’s circle, those same chords are not diameters, so are less than a diameter, so the circle has a greater diameter.
Just to go a step further, the perimeter of the shape described by the wiper arcs is exactly pi times the perimeter of the triangle i.e. (pi * the chord length), whereas the circumference of the circle is (pi * 2 * the radius) and, as noted above, it is easily seen that (2 * the radius) is greater than (the chord length). To check that the perimeter of the SOCW is (pi * the chord length), consider each arc length. If we label the triangle sides A,B,C and their opposite angles a,b,c, then the arc lengths are given by: Aa + Bb + Cc + (B+C)a + (A+C)b + (A+B)c = (A+B+C)(a+b+c) = (chord length)(pi)
To take it one (very small step further), this shape of constant width has the smallest diameter of all shapes of constant width containing all 6 points!
@@Falanwe that suggests it might be a very valuable curve to quickly generate for certain applications, especially manufacturing and construction. Minimization is a huge part of engineering & design.
@@royalninja2823he says that when he was younger, he used to get upset that people only know his game of life, because it was a quick and draft invention. But I also only know his game of life.
I remember translating this theorem's Wikipedia page to Hebrew a few years ago, I came up with the coloring proof. but when I saw the swivel proof I just couldn't help but smile. I liked it better than my original proof. this proof made me smile so much. this always happens in your videos, in what you call "aha moment" I experience euphoria. your videos just make me smile from ear to ear, every one of them.
Iris-free Proof: join the six exterior points consecutively, calling them A' A'' B' B'' C' and C''. Note the numerous isosceles triangles in this diagram and mark the relevant congruent pairs of base angles. Next, observe that A'A''C'C'' is a quadrilateral with supplementary opposite angles. Thus it is a cyclic quadrilateral and A'A''C'C'' (circle 1) are concyclic. The same reasoning shows the sets of points A''B'B''C' (circle 2) and B'B''C'C'' (circle 3) are concyclic. Circle 2 and 3 have three points in common, and so A''B'B''C'C'' are all concyclic, since three non-collinear points determines a circle. This circle has three points in common with circle 1, and so A'A''B'B''C'C'' are all concyclic.
I am not sure we were thinking about the same thing but one thing that first crossed my mind seeing all the equal chords was that if i pick any 2 inersecting ones and unite the points they should form up a isosceles trapesoid which is insciptible in a circle. And indeed it is easy to prove the 2 bases are parallels as bases of isosceles opposite triangles and the sides are identical by tringle equalities. Then we just repeat for the other pairs of points and we note that circle of the circle will be somewhere on mediator of bases which also is the mediator of original triangle sides.
Colour proof seems like something I could come up with given enough time and determination (so back to school). The swinging one reminds me of 3B1B exercise of a proof easy to understand, but super hard to come up and write rigorously.
@@Filipnalepa Agreed. It was even similar in the fact of the rotation of a line being a part of it (although in this case it’s a segment rather than an actual line).
Draw the chord that joins the vertices of the two green segments (top). This gives an isosceles triangle, hence the axis of the chord is a bisector of the top angle of the original triangle. Hence this axis goes through the triangle's incenter, and this incenter is also equidistant from the two origial top points. The same is true for all three pairs of points. Now choose the top right and the most right point: both lie on a (green+blue) segment. Reason just the same as before and you get that these two points also are equidistant from the triangle's incenter. Rinse and repeat, and you get that the incenter is equidistant from all six points.
Thanks for the video! I felt compelled to try to find a proof, so here it is. The center of the big circle must be the intersection of the three lines cutting the angles of the triangle in two. This is also the center of a small circle, inscribed in the triangle. Consider a segment of length equal to the sum of the three sizes of the triangle. If we glue the middle of this segment to side of the small circle, and rotate this construction, the extremities of the segment draw the big circle (I skipped a few details that were a pain to write concisely : ) Thank you for making me feel worthy! I hope I got it right
colouring proof is the one i came up with after you pointed out the incircle. also, the shape of constant width has width equal to one of the chords of the iris, definitely less than the diameter of the circle.
Kudos! To think that such simple principles could go unnoticed for so long. Which is why I love this channel, come to think of it. Not only is the content absolutely amazing, I always feel like I've learned something new. (Almost as if taking a glimpse into the realm of "sacred geometry" or something!)
I liked the colored line proof the best. The other one seems like something someone would show you and it would not turn out to not be true, but just looks like it. Love your channel!
Very interesting! This reminds me of a result I came across recently. Take a regular polygon positioned anywhere in a circle. Extend the sides to form two sets of segments with lengths x_1,x_2,...,x_n and y_1,y_2,...,y_n, so that each y_i is counterclockwise from x_i. Then applying power of point to each vertex, we get x_k(L+y_(k+1))=y_k(L+x_(k-1)), where L is the side length of the polygon. Adding all these equations and cancelling the x_ky_(k+1) terms, we get x_1+x_2+...+x_n=y_1+y_2+...+y_n. So the two groups of segments have equal sums.
@@Mathologer I originally came up with the problem myself, but I later found a special case of it on the 1989 All-Russian Math Olympiad. That contest used an equilateral pentagon instead of an equilateral n-gon.
Hello Mathologer! You again created an amazing video about an interesting geometric theorem and made the proof visible for us. Magic! - Thanks, Greetings and best wishes!
Also this shows a general method for generating curves of constant width. Given a set of strait lines of general position (no two lines are parallel, no three lines intersect at the same point) you can always draw a constant width curve as complex as you want. I don't remember the algorithm exactly but I suppose you'll manage to reconstruct it.
That is the most fantastic Mathologer I've ever seen 🤩. My mind is spinning ! I will surely dream of this - hoping it won't transform in a nightmare😵💫
Weird curve's diameter= L1+L2+L3 which is a chord of Conway's circle not containing its center < diameter of Conway's circle. BTW, (Conway's Radius)^2 = r^2 + p^2, here r is the incenter's radius and p is both the triangle's semiperimeter and the weird curve's "radius" (there's no center). You can get r = H/p, using Heron's Formula (H)
The area of Conway’s circle is larger. I think the proof is quite complicated to write down, so I don’t think I can do this. But I can conceptualize the proof like this: There are 3 pairs of fan-shaped sectors that, when combined and subtracting twice the area of the inner triangle, become the area of The Weird Curve. We can choose one pair of large and small fan-shaped sectors opposite each other to prove this, and the other two pairs will be proven similarly. We see that the small fan-shaped sector will always extend beyond the Conway circle, and the large fan-shaped sector will always eat inside the Conway circle. Using the formula to calculate the area of a circular arc, we can prove that the area extending outside the Conway circle of the small fan-shaped sector is always smaller than the area eating inside the Conway circle of the large fan-shaped sector opposite it
The "windscreen wiper" method can be used to prove the same result on a sphere, which by extension also proves the 2D case as well. 1)Draw a great circle around a sphere, marking two points at random on this circle. 2) Mark a third point at random, but not on the same great circle, and connect this to the first two points around two new great circles. This creates a spherical triangle. 3)Rotate the sphere so that the "north pole" lies within the triangle in such a way that the northernmost points on the three great circles all lie at the same latitude. 4)Draw the "whiskers" by extending the sides of the triangle as shown in the video, following the great circles in each case. 5)The great circles all have exactly the same radius of curvature at every point, so the windscreen wiper method can be used to rotate and tilt any one of the extended sides around each vertex to bring it into superposition over the adjacent side. Three rotation and tilts brings a side back to its original position, but pointing the opposite direction, just as in the video. This proves that the three extended sides are the same length, and the northernmost points are the exact midpoints of each arc. 6)Starting at the northernmost point of any of the three great circles and measuring the same arc in each direction takes you to two points which lie at the same latitude. Since the three arcs are all the same length, all six end points must lie at the same latitude. Ta dah. 7)Let the radius of the sphere tend to infinity. The surface of the sphere tends to a plane surface, and the original Euclidean result follows directly. Ta dah!
Puzzle at the end: Conway's circle is larger. The weird curve's diameter is precisely the length of the chords since the chords are perpendicular to the curve's tangent at the intersection (this can be trivially shown from the curve's construction), so the diameter of the circle is necessarily larger (specifically, the square of the diameter of Conway's circle is the square of the incircle's diameter plus the square of the sum of the three sides of the triangle).
Love the title and the video. Remembering another humble human being. Being 4 years on april the 11th... Thank you Following all kinds of math related channels, this, really gets to my heart. Sometimes the game of life just isnt fair.
Fair enough, it's a super slick one. Have you heard of the BOOK of proofs? Essentially what I asked you to vote on was which of the two proofs should go into the BOOK :) en.wikipedia.org/wiki/Proofs_from_THE_BOOK
2:12 Consider the vertex of the triangle at the bottom-left. There are two lines going through it, both with red on one side and green+blue on the other side. Thus, the angle bisector of these two lines consists of all points that are equidistant from the red endpoints, _and_ (separately) equidistant from the green+blue endpoints. But applying the same reasoning to the other vertices, this leads us to the intersection of all three angle bisectors of the triangle, namely the incenter. We have six equalities between the distances from the incenter to the endpoints, which combine to show that they are all the same! q.e.d.
This looks like an optical illusion, because the lines don't really appear to be of equal length!! Fascinating stuff!! Even though the professor maintains that they are all of equal length, or so I thought 💭 I heard him say!! Hmmm!!! Food for thought 💭
Swivel , just because I didn't originally catch the insight into the incircle... and the swivel has reflective properties that feels like decoding a secret message through a mirror - very cool. Colouring is ok. It's nice.
To prove this, consider two intersecting chords. If you establish that the product of the segments created by their intersection point is equal for both chords, then they are points on a circle. This is evident from the equation r(b+g)=r(g+b), indicating they lie on a circle. To further prove that this circle shares the same center as the inner circle, examine, for example, a red isosceles triangle. The center of the larger circle lies on the bisector of these red arms. This bisector also serves as the bisector of two sides of the circle where the center of the inner circle lies, confirming they share the same center.
Nice video. My proof of the first part: it is enough to show that the quadrilateral formed by the a and c whiskers is cyclic. For this, we use the 3 isosceles triangles (two whisker triangles and one triangle with side length a+c). Then opposite angles are complementary.
Beautiful! The last animation makes me think of a rotary engine! Constant diameter shape seems like another way to design a rotary engine where the outer part could be simpler than the one actually used in rotary engines.
I proved this myself, quite nice, I particularly like the formulas for the green red and yellow lengths at 7:22 : calling the sides of the original triangle a, b, c, those lengths are (-a + b + c)/2, (a - b + c)/2, (a + b - c)/2
The curve of constant width at the end was neat. Also, Conway's game of life is a simplification of a game invented by John Von Neumann. Von Neumann was studying the idea because he was thinking about self-replicating machines.
Construct the angle bisectors of the triangle. They meet at the incenter of the triangle. Draw a circle around the incenter through one of the endpoints, that are supposed to lie on a circle. Choose an angle bisector and do a reflection operation across it. The reflection maps the circle onto itself and two pairs of endpoints to each other. All endpoints can be mapped to each other by a sequence of reflections across angle bisectors. In conclusion, all these points lie on a circle. QED
I like the swivel proof and the color proof equally. The Action Lab made a good video about shapes of constant width, he also constructs one. Fun fact: if you make Conway's iris with a regular triangle, the radius of the outer circle is roughly 5.29 times (twice root 7 times) bigger than the radius of the inner circle (which was a fun algebraic challenge to compute).
focus on one intersection of two supposed chords and notice that it has the same power wrt one pair of endpoints as the other (the colors show it) and this means the ends of those two chords lie on the same circle, now if we show that an endpoint of horizontally oriented chord lies on the smame circle as the circle formed by endpoints of other two chords, we are done. Label P,Q;R,S;U,V the endpoints in the positive angular direction starting with horizontal red endpoint and A the red vertex of triangle, B blue vertex and C green vertex. Since PBV is isosceles, angle
Labeling the endpoints CW from top left: A, B, C, D, E, F Any circle through A and B is centered somewhere on the angle bisector of the top angle Any circle through B and C is centered somewhere on the angle bisector of the left angle (similar for C-D, D-E, E-F, F-A) QED: all the points lie on a circle centered at the intersection of the angle bisectors. (The intersection of the angle bisectors is the center of the incircle.) Not proved here, but true: the angle bisectors intersect at a single point.
5:41: The two yellow segments are congruent because they are formed by two tangent lines where they intersect the circle and each other. If you connect the two points where the tangents intersect the circle, the newly made angles are interior angles that intercept the same arc. If you use the formula { measure of angle = 1/2 measure of arc in degrees} you can set the angles equal. This makes the triangle isosceles, and the two yellow segments of the triangle congruent.
Each line extending from the edges of the triangle is the same length, since its length is the sum of the lengths of all three edges. The lines are also the same distance from the incenter. If you construct a line from the incenter to the closest point, and a line from the incenter to the ends of the lines, it will form a right triangle. Then you can calculate the distance from the ends of the lines to the incenter. If the closest point on the line exactly divides it in half, then the distance from the incenter to every point is the same.
Since the wiper segments pivot from the same point when they wipe, the traced path from when they start to end wiping is on a circle with the pivot point as the midpoint of the circle. This means that the "weird curve" shape is made of overlapping circles!
I prefer the swiveling proof, while I would go for the coloring one. My intuition told me that I would find equal lengths if I go for the segment lengths; however, I find the transformation proofs more elegant and more beautiful. Beautiful music, BTW!
I kept seeing the straightedge and compass method for finding the incircle of a triangle, just the intersection of two angle bisectors in the triangle -- and I kept seeing angle bisectors of the vertical angles.
Diameter of the circle is larger. If you superimpose the circle over the shape, you can form a triangle of the shape's width and two radii of the circle. Due to triangle inequality, the two radii, and therefore the circle's diameter, must be longer.
My favourite proof is the chord version. Even after playing around with this in Geogebra, I spent extra time with that. Conway discovered so many things in math, he truly was a genius.
from triangle inequality the diameter of wiper curve is larger because if you take triangle with base of diameter of wiper and center of circle then 2r_circle < d_wiper
Personally I like to think of mathematics as inhabited by amazing creatures that move around interacting and spawning new creatures. So I was immediately attracted to the wiper approach.
Answer to the puzzle: The circle has a larger diameter. Because the weird curve's diameter is exactly the same as the sum of the 3 sides of the triangle (can be seen because it meets the lines perpendicularly, by its construction). The Conway circle is larger as it also passes through the same two points on any of those lines, but has a center which is not on the line.
I like the colour proof a lot more! The swivels matching points is not very intuitive - it looks good, but I have a hard time imagining why that would be the case. The colours make the case immediately that it would be true of any triangle.
Remember I was young and there was Conway's fan club on the next street: they listen punk rock, drink beer and has Conway's iris emblem on the jackets.
Regarding the final question: the square of the diameter of the curve of constant width PLUS the square of the diameter of the incircle EQUALS the square of the diameter of Conway's circle. If Conway had lived in another era, he could have been the Little Euler.
I like the coloured proof more than the swivel one, because whilst both have formal versions in algebra and linear algebra (I think) respectively, the algebraic proof is much easier to explain simply and its what I'd be more likely to come up with on my own
I know "Numberphile" might be a complicated word around these parts.. but i will never forget watching that interview Brady did with him [Conway] when he's looking out the window and says "i wish i knew whyyy..." .. in reference to the strange universe-implying numbers in group theory - why the monster and no more?.. why any of the sporadjcs?.. especially when symmetry seems to play such a big role in fundamental physics
1:46 if you remove the circle and the color, you get a triangle with whiskers, which is also a union of three lines. Adding the colors back in, each of the lines is made out of one red, one blue, and one green. Something something rotate the lines
Triangle area = inradius times semiperimeter (just consider the 6 small triangles defined by the incircle). The 6 Conway points are thus simply the points where the circle of squared radius = squared inradius + squared semiperimeter about the incenter intersects a (produced) side of the triangle.
The hexagone that vertices are the six cocyclic points defines two alternated inscribed triangles such that the angle between two sides is the angle between two bissectors of the original triangle
A fun fact us that this triangle has angle less then pi/2 and that if you représent the shape of original triangle wrt its angle in a barycentric coordinates A(0 0 pi ) B(0 pi 0) C(pi 0 0)the bissector triangle shape is represented by the homothetie that send the triangle ABC to the triangle that vertex are middle of it A'(pi/2 pi/2 0 ) B'(pi/2 0 pi/2) C'(0 pi/2 pi/2) namely (a b c ) goes to (pi/2 -a/2, pi/2-b/2 , pi/2-c/2). Il will do a video on differents way to représente triangles in the plan. One is inspired by the previous mathologer video and I hope you will like it! It will just be a live and not so nice then mathologer videos but the maths involved are elementary and nuce imo^^
Physics tells me that the circle is the extrem in area of the setup, but gut feeling leads me to the areas being identical. Btw. thx so much, this looks like solving an engineering problem of mine as well 😂
I have proven in my head... It just creates bunch of isosceles triangles, so it is easy to prove then that for every quadrilateral that you can make out of 4 consequtive points opposite angles add to 180... So all of them of them are cyclic. And as all adjecent ones share 3 points and those 3 points define a circle all six are on a same circle.
7:38 the colored one is exactly the proof that i was able to get when paused at 2:12. I like this proof more as it shows, that for triangle with sides a, b and c, if we split a in two segments by the touching point of inscribed circle, then difference of these segments is equal to difference of remaining sides of the triangle.
Conway’s circle has the larger diameter. The “diameter” of the shape of constant width is exactly one of the chords we were discussing. But in Conway’s circle, those same chords are not diameters, so are less than a diameter, so the circle has a greater diameter.
Exactly :)
Just to go a step further, the perimeter of the shape described by the wiper arcs is exactly pi times the perimeter of the triangle i.e. (pi * the chord length), whereas the circumference of the circle is (pi * 2 * the radius) and, as noted above, it is easily seen that (2 * the radius) is greater than (the chord length).
To check that the perimeter of the SOCW is (pi * the chord length), consider each arc length. If we label the triangle sides A,B,C and their opposite angles a,b,c, then the arc lengths are given by: Aa + Bb + Cc + (B+C)a + (A+C)b + (A+B)c = (A+B+C)(a+b+c) = (chord length)(pi)
Yes, you are right. My intuition was wrong. I love how these videos get people talking-any ideas on getting 15-16 year olds talking like this?
To take it one (very small step further), this shape of constant width has the smallest diameter of all shapes of constant width containing all 6 points!
@@Falanwe that suggests it might be a very valuable curve to quickly generate for certain applications, especially manufacturing and construction. Minimization is a huge part of engineering & design.
RIP conway, he will be missed
Very much so :(
He *is* missed, sorely. I'm disappointed I didn't get to know everything he'd done before he died, only knowing about his Game of Life.
@@royalninja2823he says that when he was younger, he used to get upset that people only know his game of life, because it was a quick and draft invention.
But I also only know his game of life.
Apparently the last thing he saw before he died was 3 black squares.
“Houston, they got me in a glider pattern. I’m just a dead cell now. Report: dead cell now only.”
I remember translating this theorem's Wikipedia page to Hebrew a few years ago, I came up with the coloring proof. but when I saw the swivel proof I just couldn't help but smile. I liked it better than my original proof. this proof made me smile so much. this always happens in your videos, in what you call "aha moment" I experience euphoria. your videos just make me smile from ear to ear, every one of them.
I make you smile, that's great ! :)
Iris-free Proof: join the six exterior points consecutively, calling them A' A'' B' B'' C' and C''. Note the numerous isosceles triangles in this diagram and mark the relevant congruent pairs of base angles. Next, observe that A'A''C'C'' is a quadrilateral with supplementary opposite angles. Thus it is a cyclic quadrilateral and A'A''C'C'' (circle 1) are concyclic. The same reasoning shows the sets of points A''B'B''C' (circle 2) and B'B''C'C'' (circle 3) are concyclic. Circle 2 and 3 have three points in common, and so A''B'B''C'C'' are all concyclic, since three non-collinear points determines a circle. This circle has three points in common with circle 1, and so A'A''B'B''C'C'' are all concyclic.
I am not sure we were thinking about the same thing but one thing that first crossed my mind seeing all the equal chords was that if i pick any 2 inersecting ones and unite the points they should form up a isosceles trapesoid which is insciptible in a circle. And indeed it is easy to prove the 2 bases are parallels as bases of isosceles opposite triangles and the sides are identical by tringle equalities. Then we just repeat for the other pairs of points and we note that circle of the circle will be somewhere on mediator of bases which also is the mediator of original triangle sides.
I liked the color proof better, because the swivel proof seemed like it relied more on visuals, which could be deceiving.
same
Colour proof seems like something I could come up with given enough time and determination (so back to school). The swinging one reminds me of 3B1B exercise of a proof easy to understand, but super hard to come up and write rigorously.
@@Filipnalepa Agreed. It was even similar in the fact of the rotation of a line being a part of it (although in this case it’s a segment rather than an actual line).
Thank you for all the effort you put into these videos. I very much enjoy the learning experience from watching this channel!
Draw the chord that joins the vertices of the two green segments (top). This gives an isosceles triangle, hence the axis of the chord is a bisector of the top angle of the original triangle. Hence this axis goes through the triangle's incenter, and this incenter is also equidistant from the two origial top points. The same is true for all three pairs of points. Now choose the top right and the most right point: both lie on a (green+blue) segment. Reason just the same as before and you get that these two points also are equidistant from the triangle's incenter. Rinse and repeat, and you get that the incenter is equidistant from all six points.
My first thoughts as well! Go team bisectors!
yes, this is the proof i got also.
I did it with mirrors, but I found (and posted) essentially the same proof. But you beat me to it, congrats.
Thanks for the video! I felt compelled to try to find a proof, so here it is. The center of the big circle must be the intersection of the three lines cutting the angles of the triangle in two. This is also the center of a small circle, inscribed in the triangle. Consider a segment of length equal to the sum of the three sizes of the triangle. If we glue the middle of this segment to side of the small circle, and rotate this construction, the extremities of the segment draw the big circle (I skipped a few details that were a pain to write concisely : ) Thank you for making me feel worthy! I hope I got it right
colouring proof is the one i came up with after you pointed out the incircle. also, the shape of constant width has width equal to one of the chords of the iris, definitely less than the diameter of the circle.
Correct. I guess you are ready for when you meet Conway in the afterlife :)
You triggered my math competition PTSD 😂
Kudos! To think that such simple principles could go unnoticed for so long. Which is why I love this channel, come to think of it. Not only is the content absolutely amazing, I always feel like I've learned something new. (Almost as if taking a glimpse into the realm of "sacred geometry" or something!)
That's great :)
I liked the colored line proof the best. The other one seems like something someone would show you and it would not turn out to not be true, but just looks like it.
Love your channel!
I like the coloring proof best. Conway left us so many gems.
This was heartachingly beautiful. Thank you.
Very neat video. That little twist at the end resembled somewhat the rotary wheel of a Wankel motor. Yes, I'm that old...
I've only watched 45 seconds of this video, so far. And I have to say... "Wow!" A circle... Wow. Greetings from Dallas, Texas!
Greetings from Melbourne in Australia :)
Spoiler alert:
Irving here...
Very interesting! This reminds me of a result I came across recently. Take a regular polygon positioned anywhere in a circle. Extend the sides to form two sets of segments with lengths x_1,x_2,...,x_n and y_1,y_2,...,y_n, so that each y_i is counterclockwise from x_i. Then applying power of point to each vertex, we get
x_k(L+y_(k+1))=y_k(L+x_(k-1)),
where L is the side length of the polygon. Adding all these equations and cancelling the x_ky_(k+1) terms, we get
x_1+x_2+...+x_n=y_1+y_2+...+y_n.
So the two groups of segments have equal sums.
Where did you come across this?
@@Mathologer I originally came up with the problem myself, but I later found a special case of it on the 1989 All-Russian Math Olympiad. That contest used an equilateral pentagon instead of an equilateral n-gon.
@@MathFromAlphaToOmega I see, thanks for sharing this with me :)
"You're here for the mysterious iris in the thumbnail, aren't you?"
Sorry, but no. I'm here because it's another Mathologer video :)
Of course that's also a reason that gets my seal of approval :)
Yes, if I have to choose, I watch the latest Mathologer video before the latest 3B1B.
I wanted to see little creatures crawling around the screen...
@@tulliusexmisc2191 Same here.
Hello Mathologer!
You again created an amazing video about an interesting geometric theorem and made the proof visible for us.
Magic! -
Thanks, Greetings and best wishes!
Glad you liked it :)
Also this shows a general method for generating curves of constant width. Given a set of strait lines of general position (no two lines are parallel, no three lines intersect at the same point) you can always draw a constant width curve as complex as you want. I don't remember the algorithm exactly but I suppose you'll manage to reconstruct it.
That is the most fantastic Mathologer I've ever seen 🤩. My mind is spinning ! I will surely dream of this - hoping it won't transform in a nightmare😵💫
Wonderful proof. The incentre is slowly becoming my favourite triangle centre! (overtaking the orthocentre as my previous favourite)
7:40 I liked the colouring proof best. It was less obvious; and so, a nice surprise 🙂.
The last curve is making nodes and antinodes with the circle.
7:39 the coloring proof I suppose. The static picture that you can look at and check over feels more comforting somehow.
Weird curve's diameter= L1+L2+L3 which is a chord of Conway's circle not containing its center < diameter of Conway's circle.
BTW, (Conway's Radius)^2 = r^2 + p^2, here r is the incenter's radius and p is both the triangle's semiperimeter and the weird curve's "radius" (there's no center).
You can get r = H/p, using Heron's Formula (H)
Correct :) Here is a little a little trickier question than. Which is larger the AREA of Conway's circle or that of the curve of constant width?
The area of Conway’s circle is larger. I think the proof is quite complicated to write down, so I don’t think I can do this. But I can conceptualize the proof like this:
There are 3 pairs of fan-shaped sectors that, when combined and subtracting twice the area of the inner triangle, become the area of The Weird Curve.
We can choose one pair of large and small fan-shaped sectors opposite each other to prove this, and the other two pairs will be proven similarly.
We see that the small fan-shaped sector will always extend beyond the Conway circle, and the large fan-shaped sector will always eat inside the Conway circle.
Using the formula to calculate the area of a circular arc, we can prove that the area extending outside the Conway circle of the small fan-shaped sector is always smaller than the area eating inside the Conway circle of the large fan-shaped sector opposite it
The "windscreen wiper" method can be used to prove the same result on a sphere, which by extension also proves the 2D case as well.
1)Draw a great circle around a sphere, marking two points at random on this circle.
2) Mark a third point at random, but not on the same great circle, and connect this to the first two points around two new great circles. This creates a spherical triangle.
3)Rotate the sphere so that the "north pole" lies within the triangle in such a way that the northernmost points on the three great circles all lie at the same latitude.
4)Draw the "whiskers" by extending the sides of the triangle as shown in the video, following the great circles in each case.
5)The great circles all have exactly the same radius of curvature at every point, so the windscreen wiper method can be used to rotate and tilt any one of the extended sides around each vertex to bring it into superposition over the adjacent side. Three rotation and tilts brings a side back to its original position, but pointing the opposite direction, just as in the video. This proves that the three extended sides are the same length, and the northernmost points are the exact midpoints of each arc.
6)Starting at the northernmost point of any of the three great circles and measuring the same arc in each direction takes you to two points which lie at the same latitude. Since the three arcs are all the same length, all six end points must lie at the same latitude.
Ta dah.
7)Let the radius of the sphere tend to infinity. The surface of the sphere tends to a plane surface, and the original Euclidean result follows directly.
Ta dah!
Sounds right :)
If this is correct, then something similar might be expected also to work in hyperbolic surfaces of constant curvature.
Puzzle at the end: Conway's circle is larger. The weird curve's diameter is precisely the length of the chords since the chords are perpendicular to the curve's tangent at the intersection (this can be trivially shown from the curve's construction), so the diameter of the circle is necessarily larger (specifically, the square of the diameter of Conway's circle is the square of the incircle's diameter plus the square of the sum of the three sides of the triangle).
I like the coloring one!
It reminds me of the wobbly table fix proof.
Thanks so much for the video!
Came for a fractal that looks like an iris, stayed for the beautiful visual geometric proofs
Love the title and the video.
Remembering another humble human being.
Being 4 years on april the 11th...
Thank you
Following all kinds of math related channels, this, really gets to my heart. Sometimes the game of life just isnt fair.
I liked the color proof a lot more, it felt a lot more clear, straightforward and obvious to me!
Fair enough, it's a super slick one. Have you heard of the BOOK of proofs? Essentially what I asked you to vote on was which of the two proofs should go into the BOOK :)
en.wikipedia.org/wiki/Proofs_from_THE_BOOK
Oooh, that's awesome, thanks for the link and for the response! I learned something today :D
2:12 Consider the vertex of the triangle at the bottom-left. There are two lines going through it, both with red on one side and green+blue on the other side. Thus, the angle bisector of these two lines consists of all points that are equidistant from the red endpoints, _and_ (separately) equidistant from the green+blue endpoints. But applying the same reasoning to the other vertices, this leads us to the intersection of all three angle bisectors of the triangle, namely the incenter. We have six equalities between the distances from the incenter to the endpoints, which combine to show that they are all the same! q.e.d.
I guess you are ready for an encounter with Conway in the afterlife :)
This looks like an optical illusion, because the lines don't really appear to be of equal length!! Fascinating stuff!! Even though the professor maintains that they are all of equal length, or so I thought 💭 I heard him say!! Hmmm!!! Food for thought 💭
A beautifully done video & presentation! Thank you for the mention too! 😉
Thanks again for your help answering my questions :)
I really enjoyed this one, John Conway did so much cool stuff.
RIP
High quality math video. The ending score makes it perfect.
The iris was interesting, but I'm here for Conway!
Definitely the better reason :)
The swivel approach resonated better with me.
Great as always
Swivel , just because I didn't originally catch the insight into the incircle... and the swivel has reflective properties that feels like decoding a secret message through a mirror - very cool. Colouring is ok. It's nice.
To prove this, consider two intersecting chords. If you establish that the product of the segments created by their intersection point is equal for both chords, then they are points on a circle. This is evident from the equation r(b+g)=r(g+b), indicating they lie on a circle. To further prove that this circle shares the same center as the inner circle, examine, for example, a red isosceles triangle. The center of the larger circle lies on the bisector of these red arms. This bisector also serves as the bisector of two sides of the circle where the center of the inner circle lies, confirming they share the same center.
Nice video. My proof of the first part: it is enough to show that the quadrilateral formed by the a and c whiskers is cyclic. For this, we use the 3 isosceles triangles (two whisker triangles and one triangle with side length a+c). Then opposite angles are complementary.
👍🏻 Another great T-shirt. Of course the lecture too. 😉
That was a good one. Again I always watch this on a Sunday afternoon. Not a mathematician but my theory is that they are the same.
Beautiful! The last animation makes me think of a rotary engine! Constant diameter shape seems like another way to design a rotary engine where the outer part could be simpler than the one actually used in rotary engines.
Wooo I realized this is a new Mathologer video after watching it! 🙂
Great names of the theorems and this is the best recreational math channel!
Glad you liked it!
I proved this myself, quite nice, I particularly like the formulas for the green red and yellow lengths at 7:22 : calling the sides of the original triangle a, b, c, those lengths are (-a + b + c)/2, (a - b + c)/2, (a + b - c)/2
The curve of constant width at the end was neat. Also, Conway's game of life is a simplification of a game invented by John Von Neumann. Von Neumann was studying the idea because he was thinking about self-replicating machines.
Construct the angle bisectors of the triangle. They meet at the incenter of the triangle. Draw a circle around the incenter through one of the endpoints, that are supposed to lie on a circle. Choose an angle bisector and do a reflection operation across it. The reflection maps the circle onto itself and two pairs of endpoints to each other. All endpoints can be mapped to each other by a sequence of reflections across angle bisectors. In conclusion, all these points lie on a circle. QED
I like the swivel proof and the color proof equally.
The Action Lab made a good video about shapes of constant width, he also constructs one.
Fun fact: if you make Conway's iris with a regular triangle, the radius of the outer circle is roughly 5.29 times (twice root 7 times) bigger than the radius of the inner circle (which was a fun algebraic challenge to compute).
focus on one intersection of two supposed chords and notice that it has the same power wrt one pair of endpoints as the other (the colors show it) and this means the ends of those two chords lie on the same circle, now if we show that an endpoint of horizontally oriented chord lies on the smame circle as the circle formed by endpoints of other two chords, we are done. Label P,Q;R,S;U,V the endpoints in the positive angular direction starting with horizontal red endpoint and A the red vertex of triangle, B blue vertex and C green vertex. Since PBV is isosceles, angle
Beautiful
I guessed quite a few of the swivelling proof steps just from feeling. But I find the colouring proof more elegant.
Labeling the endpoints CW from top left: A, B, C, D, E, F
Any circle through A and B is centered somewhere on the angle bisector of the top angle
Any circle through B and C is centered somewhere on the angle bisector of the left angle
(similar for C-D, D-E, E-F, F-A)
QED: all the points lie on a circle centered at the intersection of the angle bisectors.
(The intersection of the angle bisectors is the center of the incircle.)
Not proved here, but true: the angle bisectors intersect at a single point.
Yes....
Sliding the ends of a chord around the outer circle sweeps the iris (twice). The chord's center draws the inner circle (pupil).
I love both of the (perpendicular) bisection proofs SO MUCH.
I liked Both Versions of the Proof, the coloured one is a Little Bit more intuitive. Thanks again for a Great Video ❤
5:41: The two yellow segments are congruent because they are formed by two tangent lines where they intersect the circle and each other. If you connect the two points where the tangents intersect the circle, the newly made angles are interior angles that intercept the same arc. If you use the formula { measure of angle = 1/2 measure of arc in degrees} you can set the angles equal. This makes the triangle isosceles, and the two yellow segments of the triangle congruent.
Each line extending from the edges of the triangle is the same length, since its length is the sum of the lengths of all three edges. The lines are also the same distance from the incenter. If you construct a line from the incenter to the closest point, and a line from the incenter to the ends of the lines, it will form a right triangle. Then you can calculate the distance from the ends of the lines to the incenter. If the closest point on the line exactly divides it in half, then the distance from the incenter to every point is the same.
I like the color proof best. Seems like something I might have been able to come up with myself. Whereas I never would for the swivel proof.
Thank you for such a nice and informative video. I liked The colour proof more than the swivel proof
I like the swivel proof because it was nice, and the coloring proof seems like the more obvious sort of approach to take.
So did I, for the same reason.
Since the wiper segments pivot from the same point when they wipe, the traced path from when they start to end wiping is on a circle with the pivot point as the midpoint of the circle. This means that the "weird curve" shape is made of overlapping circles!
Correct :)
I prefer the swiveling proof, while I would go for the coloring one. My intuition told me that I would find equal lengths if I go for the segment lengths; however, I find the transformation proofs more elegant and more beautiful.
Beautiful music, BTW!
13:50 FINALLY I remembered from decades ago Martin Gardner's column on equal-width shapes, including this as a method of generating them.
Martin Gardner sure covered a LOT of ground in his writings :)
To assist your engagement; I liked the coloring better, the idea of the semi-sides each composing the half the chords is pleasing.
Thank you for assisting :)
The swivel proof did it for me. Simple and elegant. Plus I have a bit of a spiral fixation.😂
I kept seeing the straightedge and compass method for finding the incircle of a triangle, just the intersection of two angle bisectors in the triangle -- and I kept seeing angle bisectors of the vertical angles.
Diameter of the circle is larger. If you superimpose the circle over the shape, you can form a triangle of the shape's width and two radii of the circle. Due to triangle inequality, the two radii, and therefore the circle's diameter, must be longer.
I like the coloring proof because swiveling is hard to imagine
My favourite proof is the chord version. Even after playing around with this in Geogebra, I spent extra time with that.
Conway discovered so many things in math, he truly was a genius.
Any nice geogebra file to share ? :)
from triangle inequality the diameter of wiper curve is larger because if you take triangle with base of diameter of wiper and center of circle then 2r_circle < d_wiper
I would like to humbly submit my vote for the color proof. In any case, this is a beautiful pattern with circles and their symmetries.
Nothing to do with the math(s), but _THANK YOU_ for introducing me to ( and telling us the title and artist of ) that _Amazing_ outro music! ❤❤❤
Personally I like to think of mathematics as inhabited by amazing creatures that move around interacting and spawning new creatures. So I was immediately attracted to the wiper approach.
I liked the swivel proof best, but that’s probably because when I tried to prove it I found the color proof
I would guess same diameter ;) Nice content, Nice video name, thank you for the chronological facts too.
And my guess is false ;)
It is right when the original triangle is equilateral! Then the "funny" circle coincides with the second, outer circle.
Answer to the puzzle: The circle has a larger diameter.
Because the weird curve's diameter is exactly the same as the sum of the 3 sides of the triangle (can be seen because it meets the lines perpendicularly, by its construction).
The Conway circle is larger as it also passes through the same two points on any of those lines, but has a center which is not on the line.
Correct :)
The colour proof is the one I would most likely find on my own. The swivel proof I think is more elegant and more appealing
The swivelling proof is better because it opens the idea to so many other uses in geometry.
I like the colour proof a lot more!
The swivels matching points is not very intuitive - it looks good, but I have a hard time imagining why that would be the case.
The colours make the case immediately that it would be true of any triangle.
I liked the swivel proof better, but I may have been biased by hearing it first. The color-splitting proof is also quite neat.
Remember I was young and there was Conway's fan club on the next street: they listen punk rock, drink beer and has Conway's iris emblem on the jackets.
Seriously? Not a joke? :) Which Conway?
Love this. Thank you.
Glad you enjoyed it!
Regarding the final question:
the square of the diameter of the curve of constant width PLUS the square of the diameter of the incircle EQUALS the square of the diameter of Conway's circle.
If Conway had lived in another era, he could have been the Little Euler.
I like the coloured proof more than the swivel one, because whilst both have formal versions in algebra and linear algebra (I think) respectively, the algebraic proof is much easier to explain simply and its what I'd be more likely to come up with on my own
I know "Numberphile" might be a complicated word around these parts.. but i will never forget watching that interview Brady did with him [Conway] when he's looking out the window and says "i wish i knew whyyy..." .. in reference to the strange universe-implying numbers in group theory - why the monster and no more?.. why any of the sporadjcs?.. especially when symmetry seems to play such a big role in fundamental physics
I have no issues with Numberphile except for a handful of videos. I definitely have no issues with their Conway videos :)
@@Mathologer But I thought 1+2+3+…=-1/12 was incontrovertible truth?
;)
@Mathologer my dad, my son and I love your vids so much. It's always a treat when a new one pops up. Thanks for doing what you do!
Definitely like the color one better. It keeps in mind the lengths of the original, arbitrary triangle.
1:46 if you remove the circle and the color, you get a triangle with whiskers, which is also a union of three lines. Adding the colors back in, each of the lines is made out of one red, one blue, and one green. Something something rotate the lines
Good start :)
Triangle area = inradius times semiperimeter (just consider the 6 small triangles defined by the incircle). The 6 Conway points are thus simply the points where the circle of squared radius = squared inradius + squared semiperimeter about the incenter intersects a (produced) side of the triangle.
The hexagone that vertices are the six cocyclic points defines two alternated inscribed triangles such that the angle between two sides is the angle between two bissectors of the original triangle
A fun fact us that this triangle has angle less then pi/2 and that if you représent the shape of original triangle wrt its angle in a barycentric coordinates A(0 0 pi ) B(0 pi 0) C(pi 0 0)the bissector triangle shape is represented by the homothetie that send the triangle ABC to the triangle that vertex are middle of it A'(pi/2 pi/2 0 ) B'(pi/2 0 pi/2) C'(0 pi/2 pi/2) namely (a b c ) goes to (pi/2 -a/2, pi/2-b/2 , pi/2-c/2).
Il will do a video on differents way to représente triangles in the plan. One is inspired by the previous mathologer video and I hope you will like it! It will just be a live and not so nice then mathologer videos but the maths involved are elementary and nuce imo^^
He made it symmetrical bc he is adding length of side b to where angle B intersects (etc)
All this reminded me of the nine-point circle and the Euler line, though in general the incenter doesn't lie on this line.
Always cool T-shirts
Physics tells me that the circle is the extrem in area of the setup, but gut feeling leads me to the areas being identical.
Btw. thx so much, this looks like solving an engineering problem of mine as well 😂
The area of the circle is a bit larger :)
I have proven in my head... It just creates bunch of isosceles triangles, so it is easy to prove then that for every quadrilateral that you can make out of 4 consequtive points opposite angles add to 180... So all of them of them are cyclic. And as all adjecent ones share 3 points and those 3 points define a circle all six are on a same circle.
The swivel proof is my favorite.
The swiveling proof is very appeasing
7:38 the colored one is exactly the proof that i was able to get when paused at 2:12. I like this proof more as it shows, that for triangle with sides a, b and c, if we split a in two segments by the touching point of inscribed circle, then difference of these segments is equal to difference of remaining sides of the triangle.