从算术到方程