Hearted Youtube comments on Mathologer (@Mathologer) channel.
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
8
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
7
-
Thank you for this great video. A long time ago I heard that Zagier did a one-sentence-proof without knowing what it was until two weeks ago. I did a bit of thinking on my own and want to share what I found (probably not as the first one) because it might be interesting.
In his original paper Zagier states that his proof is not constructive. In itself both involutions (the trivial t:(x,y,z) --> (x,z,y) and the zagier-involution z as discribed in the video) don't give many new solutions starting from a given one. But combined they lead from the trivial solution to the critical, from the fixpoint of the zagier-involution F := (1,1,k) to the fixpoint of the trivial involution t.
Proof (sry no latex here): Let n be the smallest integer with (z*t)^n(F) = F. So t*(z*t)^(n-1)(F) = F (multiply by z on both sides). And therefore (t*z)^m * t * (z*t)^m (F) = F with m = (n-1)/2. Bringing (t*z)^m to the other side proofs that (z*t)^m (F) is a (the) fixpoint of the trivial involution, ie a critical solution.
Note that n is always odd, assuming n is even results in a contradiction: If n is even we have t*(z*t)^k * z * (t*z)^k * t(F) = F with k=(n-2)/2. So again we see that (t*z)^k*t(F) is a fixpoint, this time of z, and therefore equals F. Multiplying by z gives us (z*t)^(k+1)(F) = F contradicting the choice of n.
7
-
7