试证明，采用BST::insert（)算法（教材188页代码7.5)，在二叉搜索树中插入节点v之后。a)除v的历代祖先以外，其余节点的高度无需更新;b)祖先高度不会降低，但至多加一;c)一旦某个祖先高度不变，更高的祖先也必然高度不变。

符合新药报批人体生物利用度实验要求的叙述为

A．生物利用度的计算结果只能由血药浓度得到

B．不能用代谢产物求算生物利用度

C．缓控释制剂的药动学参数除一般的外,还应提供可以描述缓控释制剂特殊释放行为的动力学参数

D．生物等效性评价采用双单侧检验,对AUC和Cmax直接进行统计分析

E．若受试制剂的AUC的95%.的可信限在标准参比制剂的95%.～105%.的范围内,可以认为两种制剂生物等效

A.开始尝试对命题的证明

B.引入了函数概念

C.欧几里得写了《几何原本》

D.祖冲之把圆周率精确到小数点后第七位

E.《周髀算经》中已有勾股定理的记载

对于角动量算符

(a) 在直角坐标系中，推导各分量之间的对易关系，并归纳出统一的表达式。

(b) 定义升降算符利用对易关系证明：若f是L²和L_z的共同本征态，则也是L²和L_z的本征态。

(c) 在球坐标系中，求解L_z的本征方程。

设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。

显然，乙的演算过程简单些。试指出乙在演算过程中的关键步骤。

试证明逻辑蕴含P.