Liu Hui
利用出入相补容易证明刘徽公式。