u014779685的专栏

原创 C++ typename

在模板编程中，当你有一个依赖于模板参数的类型时，编译器可能无法确定这个依赖类型是一个类型还是一个成员（比如一个静态成员变量）。可以用在模板定义中，来指定一个依赖类型是一个类型，而不是一个成员或者其他什么东西。是 C++ 模板编程中一个非常重要的关键字，它用于解决模板中的依赖类型问题。是 C++ 中的一个关键字，它用于在模板编程中获取类型的名称。是一个类型，所以你可以用它来声明变量或者其他类型相关的操作。关键字，来明确告诉编译器这是一个类型。现在，如果你想在另一个模板中使用。例如，假设你有一个模板类。

原创 如何理解∀x(A(x)→B)等值于∃xA(x)→B(B中不包含x)

很明显，广义交的定义不能换成∃z(z∈A)→x∈A。

原创 p蕴含q 且 q蕴含p 的真值表和逻辑解释

p蕴含q且q蕴含p。

原创 为什么傅立叶级数中的三角函数ASin（nωt+φ）中周期不是2π/nω而是2π/ω呢

原创 sinx和Asin(wx+u)的图像

原创 从向量点积的角度证明cos(x−y)=cosx⋅cosy+sinx⋅siny

原创 多元微积分——多元函数的微分、方向导数与梯度(转载)

多元微积分——多元函数的微分、方向导数与梯度 - 知乎

原创 为什么空间曲线是由一个参数确定，而空间曲面由两个参数确定？(转)

https://www.zhihu.com/question/503929225/answer/3052789974?utm_psn=1753863337807736832

原创 如何理解 ∀x(A(x)→B)等价与∃xA(x)→B

首先假设∀x(A(x)->B)成立，即对于任意的x，如果A(x)成立，则B成立。假设存在一个x使得A(x)成立，根据∀x(A(x)->B)的前提，我们知道如果A(x)成立，则B成立。反过来，假设∃xA(x)->B成立，即存在一个x使得A(x)成立，则B成立。对于任意的x，如果A(x)成立，则根据∃xA(x)->B的前提，我们知道B成立。∀x(A(x)->B)等价于∃xA(x)->B 是一个逻辑等价式，表示“对于所有的x，如果A(x)成立，B成立”与“存在一个x，使得A(x)成立，则B成立”是等价的。

原创 圆锥曲线定义

我们用平面去截圆锥，根据截面与圆锥轴的夹角不同，所得截面的周界分别是圆、椭圆、抛物线、双曲线。所以人们通常把圆、椭圆、抛物线、双曲线统称为圆锥曲线。

原创 线性代数-正交矩阵和正交化

原创 线性代数-列空间(转)

矩阵乘法核心思想（1）：列空间 - 知乎

原创 线性代数-证明矩阵的迹等于特征值之和，矩阵的行列式等于特征值的乘积(转)

1.二项式定理推导：http://t.csdnimg.cn/GeSz0。

原创 一元二次方程的配方法

原创 推导坐标旋转公式（转）

求C，B两点的距离：dist2=|CB|=d/sin(δ+β)=c/cos(δ+β)求A，B两点的距离：dist1=|AB|=y/sin(δ)=x/cos(δ)即旋转后的坐标c，d只与旋转前的坐标x，y及旋转的角度β有关。设A点旋转前的角度为δ，则旋转(逆时针)到C点后角度为δ+β。

原创 向量叉积：两个向量的模长乘以它们之间夹角的正弦值为什么等于外积的坐标表示方法

原创 韦达 定理

【国际数学】韦达定理(Vieta's Theorem)的高次推广 - 知乎 (zhihu.com)

原创 如何理解 P→Q

P→Q⇔¬P∨Q 的意思是，当P蕴含Q时，等价于P为假或Q为真。