正弦式交流电有效值的推导公式是什么?