静电力常量是谁得出的