1.4 微元法：构造曲斜边的正切公式