代数群的结构，Borel子群

因为大家证明写得都太复杂了，所以我索性直接综合各家证明整理了一下。