点 $P$ 为 三角形 $ABC$ 的垂心，求证：

$\tan A\times\vec{PA}+\tan B\times\vec{PB}+\tan C\times\vec{PC}=\vec{0}$。

前置定理：有向面积定理。