异面直线垂直

异面直线

$AC$ 和 $BD$ 是相互垂直的异面直线，$OD$ 是公垂线。
$OA=OC=OD=BD$

证明： $AB$、 $CD$垂直的方法？

证明异面直线垂直，标准的方法通常是构造一个跟其中一条直线垂直的、经过另一条直线的平面，或者通过平行移动，把两者放到同一个平面上。然而，我发现用几何的方法费力而且白搭，只是跟定理搭上界、并不能简化问题。（反复使用“勾股定理”得到的代数式子，算代数方法还是算几何方法？）

解析方法的优势非常明显。如果用：两个向量垂直，充分必要条件，它们的内积是0。如何？ （不像中学的必修知识点？？可能是选修的？）

设单位长度$OD=1$ ，各点坐标如图

于是得到两个向量： $\vec{AB}=(1,1,-1)$, $\vec{CD}=(1,0,1)$

两个向量点乘内积： $\vec{AB}\cdot\vec{CD}=1+0-1=0$

所以垂直。

数列

数列$\{a_n\}$ 满足 $a_1=1$， $a_n=2a_{n-1}+2^{n-1}$， 求数列的通项。

简单的数列通项问题都可以用 RSolve 求解。这个也不例外。 Wolfram老是吹嘘能够列出每一个步骤，但是我从来没看到过。

这个中学数学里面常规的解法是 $a_{n+1}=p\cdot a_n+q$ 通用的待定系数换元。

这类的看上去有各种解法？如果先观察规律，

$$\begin{align} a_2=&p\cdot a_1+q \tag{1}\\ a_3=&p\cdot a_2+q \tag{2}\\ a_4=&p\cdot a_3+q \tag{3}\\ a_5=&p\cdot a_4+q \tag{4}\\ &\cdots\\ a_{n-1}=&p\cdot a_{n-2}+q \tag{n-2} \\ a_n=&p\cdot a_{n-1}+q\tag{n-1}\\ \end{align}$$

依次把 $(1)$代入$(2)$, $(k)$代入$(k+1)$，$(n-2)$代入$(n-1)$，得到 $a_n$ 关于 $a_1$ 和 $p$，$q$ 以及 $n$ 的表达式

$$a_n=p^{n-1}a_1+q\sum\limits_{k=1}^{n-2}p^k=p^{n-1}a_1+\dfrac{p\cdot q\cdot \left(p^{n-2}-1\right)}{p-1}$$

不能直接使用该式，因为要求 $p,q$ 是常数，所以

$a_n=2a_{n-1}+2^{n-1}$ 进行一些变换

$$\dfrac{a_n}{2^{n-1}}=\dfrac{2a_{n-1}}{2^{n-1}}+1$$
$$\dfrac{2a_n}{2^{n}}=\dfrac{2a_{n-1}}{2^{n-1}}+1$$

令$b_n=\dfrac{2a_n}{2^{n}}$， 则

$$b_1=\dfrac{2a_1}{2^{1}}=1$$

$$b_n=b_{n-1}+1$$

所以$b_n=n=\dfrac{2a_n}{2^{n}}\Rightarrow a_n=n2^{n-1}$