It appears that Gauss already knew this formula in 1801.
ガウスは既にこの公式を1801年には知っているように思われる。