Logic の 博客

归纳法在线性代数。

Vandermonde的神秘出现。

高度AI化，因为只是作为整理，马上考线代了，我真的懒得自己整了。

Cauchy不等式这类型的证明似乎只针对特定问题，但实在有点巧妙。
主要利用非负性结合二次函数判别式完成。

伴随矩阵相关整理。

高中学习向量时，便常听老师说要有基底思想，要学会用一组基表示所有向量。
到了学习线代，基底仍然是非常好的化抽象为具象的手段。一个抽象的线性映射往往让人无从下手，设出基底，我们才能看到一个个的可感的对象。
通常的处理方法是取一组基，扩充到全空间，然后分析。对于多个空间的情形，我们往往设出最小的空间，然后逐个扩大，这样通常是易于叙述的。

作为一个整理而已，没有太多思想。

添行与合成大矩阵。

时感学数学如隔雾看花，终究隔一层，经冲浪看到b站up pikachu，以及听ztf习题课之时，却感觉到目前我所接触的数学，或者说我应该掌握的数学，实际上对天赋并没有过高要求，一反往常的刻板印象，反而是需要沉淀，需要经验来把握的。过去的学习总感觉欠一些东西，于是打算试试写作记录。不管出于朴素的兴趣或是客观需要，大概我希望把数学学好的，遂计划开坑写写随笔，作为所谓工具箱，或是思维库。

谁说的教育局要质量检查……弄得我还上了个早八一整天半死不活的（