如教材346页代码12.9所示的median（)算法针对两个向量长度相差悬殊的情况做了优化处理。a)试分析该方法的原理，并证明其正确性;b)试证明，复杂度的精确上界应为o（log（min（n₁，n₂)))。