半角公式證明