Comments by "p11" (@porky1118) on "What does this prove? Some of the most gorgeous visual "shrink" proofs ever invented" video.

  1. I'm native German, but I don't understand anyway. Never heard of »Goniometrie«
    1
  2. f d = Σ(i <= d) i (d - i)² Where d is the number of points in a row. So the result, including the tilted ones in this case is f(5) = 50 (d - i)² is the count of quads of a dimension and i is the number of squares of the rim points of a square: . 0 . . . . 1 . . . . . . . . 2 . . . . . . . . . . . . 3
    1