Timeline for Prove that this expression is greater than 1/2

10 events

when toggle format	what		by	license	comment
Jul 20, 2019 at 2:28	vote	accept	Seaweed
Jul 19, 2019 at 16:01	vote	accept	Seaweed
Jul 19, 2019 at 23:35
Jul 19, 2019 at 15:44	comment	added	GH from MO		@SearidangPa: I discovered the group of functional equations $G$ experimentally. The elements of $G$ are affine linear transformations fixing $T$, hence they fix the baricenter of $T$. Then I calculated the orbit of a vertex of $T$, and observed that it consists of the vertices and midpoints of $T$. From this I figured that the orbit of $U$ consists of the six closed triangles into which the medians cut $T$. This proves that $U$ is a fundamental domain. Let me add that I don't see a connection to moduli space, but perhaps the source of the problem would better explain $G$ and $U$.
Jul 19, 2019 at 14:11	comment	added	Seaweed		Does this have something to do with Moduli space?
Jul 19, 2019 at 13:51	comment	added	Seaweed		Can I ask how you computed the fundamental domain for the action of G on T? This is probably an uninteresting question and I really want to understand it but I only have undergrad intro to Abstract Algebra.
Jul 19, 2019 at 7:11	history	edited	GH from MO	CC BY-SA 4.0	deleted 24 characters in body
Jul 19, 2019 at 6:59	history	edited	GH from MO	CC BY-SA 4.0	added 5 characters in body
Jul 19, 2019 at 6:32	history	edited	GH from MO	CC BY-SA 4.0	added 2 characters in body
Jul 19, 2019 at 6:26	history	edited	GH from MO	CC BY-SA 4.0	added 22 characters in body
Jul 19, 2019 at 6:18	history	answered	GH from MO	CC BY-SA 4.0