Yes, what I believe is that the small circles actually have to touch the bi-bisected lines. This is a trisection. But not in 3 thesame angels. The middle angle is a little bigger than the 2 outside. What I asked myself is if the twoo (samesized) circles are (of course according to it's ratio) like double or triple sized. Wich differs in areal size or circumference length. If you compare a circle to a square and you try to square the circle, than the surface area gives a different square than if you square the circumference. Square root of 2 is irrational, but it's constructible. I don't know if I get anything you say. I created the trisection myself.
With friendly regards, Dirk-Anton Broersen Verzonden vanuit Outlook Mobile<https://aka.ms/blhgte> ________________________________ Van: Jim Kingdon <[email protected]> Verstuurd: zondag 10 mei 2020 22:44 Aan: [email protected]; Dirk-Anton Broersen; [email protected] Onderwerp: Re: [Metamath] Trisecting an angle I assume this is in reference to item 8 on http://us.metamath.org/mm_100.html . In case the rules of that game aren't clear, https://en.m.wikipedia.org/wiki/Angle_trisection seems to cover it (especially the link to Straightedge and compass construction). I assume the next step on that one would be formalizing straightedge and compass construction. Is this some subset of the Tarski axioms or is it more complicated than that? Not that I'm likely to change gears from trying to prove that the square root of two is irrational in iset.mm, but I suppose who knows what might eventually catch my fancy? On May 10, 2020 8:26:33 AM PDT, Dirk-Anton Broersen <[email protected]> wrote: Here’s my form of trisecrting an angle, Notice the small little circles are related to the bisected circles. I think on surface area. If this is untrue, please let me notice. It seems untrue. If you know that a surface area circle combined to a square differce from thesame circumference length differce from the square. It might makes you doubt. What I’m saying is that the surface area is important to those circles. [cid:[email protected]] With friendly regards, Dirk-Anton Broersen Verzonden vanuit Mail<https://go.microsoft.com/fwlink/?LinkId=550986> voor Windows 10 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/HE1P189MB028210793FC83444F445942E83A00%40HE1P189MB0282.EURP189.PROD.OUTLOOK.COM.
