可用。

硬解定理，又称圆锥曲线联立公式，其实是一套求解椭圆（或双曲线）与直线相交时，联立方程求判别式、韦达定理与相交弦长的结果公式，常应用于解析几何。

应该是闪电风暴原理。

原理如下：

闪电风暴原理是随着暴风云中静电荷积聚的增加，云周围的电场变得更强。通常，云周围的空气是足够好的绝缘体，可以防止电子向地球放电。然而，云周围的强电场能够电离周围的空气并使其更具导电性。

电离涉及从气体分子的外壳中分解电子，组成空气的气体分子因此变成了正离子和自由电子的混合。

绝缘空气转化为导电等离子体，风暴云的电场将空气转变为导体的能力使得电荷（以闪电的形式）从云转移到地面（甚至到其他云）成为可能。

如果函数y=f(x)在区间[a，b]上的图像是连续不断的一条曲线，并且有f(a)乘f(b）＜0，那么，函数y=f(x)在区间（a，b)内有零点，即存在c∈（a，b)，使得f(c)=0，这个c也就是方程f(x)=0的根。

定理（零点定理）设函数f(x)在闭区间[a，b]上连续，且f(a)与 f(b)异号（即f(a)× f(b)&lt0），那么在开区间（a，b）内至少有函数f(x)的一个零点，即至少有一点ξ（a&ltξ&ltb）使f(ξ)=0。

这是零点存在的充分条件，而不是零点存在的必要条件。

也就是说：‘零点存在性定理’的逆命题…

蝴蝶定理（Butterfly Theorem）：设M为圆内弦PQ的中点，过M作弦AB和CD。设AD和BC各相交PQ于点X和Y，则M是XY的中点。

去掉中点的条件，结论变为一个一般关于有向线段的比例式，称为“坎迪定理”，不为中点时满足：1/MY-1/MX=1/MQ-1/MP ，这对2，3均成立。

蝴蝶定理是古典欧式平面几何的最精彩的结果之一。这个定理的证法不胜枚举，至今仍然被数学热爱者研究，在考试中时有出现各种变形。