私のRemezアルゴリズムに関する研究で、バリセントリックラグランジュ補間公式について学びました。 この文脈では、$n+1$個の点$(x_0, y_0), \dots, (x_n, y_n)$を通過する次数が高くても$n$以下の多項式を見つけることです。 古典的なラグランジュ補間公式は、単に「それをやった」場合に書き下すものです。 $$f(x) = \sum_{i=0}^n y_i \cdot \prod_{j \neq i}\frac{x - x_j}{x_i - x_j}$$ 2014年に、Haskellで秘密分散を実装するようにこの公式をより穏やかに導出する記事を書きました。