1 . 成书于约两千多年前的我国古代数学典籍《九章算术》中记载了通过加减消元求解元一次方程组的算法，直到拥有超强算力计算机的今天，这仍然是一种效率极高的算法.按照这种算法，求解元一次方程组大约需要对实系数进行（为给定常数）次计算.1949年，经济学家莱昂提夫为研究“投入产出模型”（该工作后来获得1973年诺贝尔经济学奖），利用当时的计算机求解一个42元一次方程组，花了约56机时.事实上，他的原始模型包含500个未知数，受限于机器算力而不得不进行化简以减少未知数.如果不进行化简，根据未知数个数估计所需机时，结果最接近于（       ）

A．机时

B．机时

C．机时

D．机时

2 . 《九章算术·商功》：“斜解立方，得两堑堵.斜解堑堵，其一为阳马，一为鳖臑.阳马居二，鳖臑居一，不易之率也.合两鳖臑三而一，验之以棊，其形露矣.”刘徽注：“此术臑者，背节也，或曰半阳马，其形有似鳖肘，故以名云.中破阳马，得两鳖臑，鳖臑之起数，数同而实据半，故云六而一即得.”

如图，在鳖臑ABCD中，侧棱底面BCD；

(1)若，，，，求证：；
(2)若，，，试求异面直线AC与BD所成角的余弦.
(3)若，，点P在棱AC上运动.试求面积的最小值.