式为formula_18。
证明.首先，在复数域上对formula_19进行定义：对于formula_20，规定formula_21。对复数的极坐标表示formula_22，有：formula_23且根据棣莫弗公式，formula_24从而有：formula_25假设formula_26，则：formula_27从而有：formula_28这一步骤用到 formula_29（墨卡托级数）即：formula_30又有：fo