查看“︁高中数学/预备知识/几何”︁的源代码

== 阅读指南 ==
[[File: Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]
学习高中数学的读者应该具备一定程度的初中/国中数学知识基础，同时高中可能会需要用到少量在先前阶段没有作为重点学习过的知识。本节例举了一些学习高中数学必须掌握的几何预备知识，并刻意撇去了一部分在高中阶段几乎不怎么会用到的初中/国中知识。读者可以速览本节内容，以便查漏补缺，减少知识死角。

先重点说明一下初、高中几何知识板块的明显差异。就学习内容而言，初中几何主要围绕平面几何及其证明，这属于《几何原本》前几卷的范畴；高中几何则跳跃到空间立体几何的学习，既有《几何原本》后几卷中的经典理论，也有基于解析几何理论的现代处理，且更注重突出解析几何解法的优势。就思维层面而言，初中的几何学习重点是逻辑训练和证明技巧，其中复杂的几何证明技巧几乎不再延续到高中，对公理化方法和命题逻辑的推崇则会贯穿高中及后续大学数学课程，成为数学逻辑严密性的基石。

平面几何的逻辑魅力和影响力自不必说，《几何原本》更是[[w:还原论|还原论]]在几何学中的一次重大胜利。无数人由此看到，只需要借助少量的假设和规定，配上严密的逻辑体系，即可支撑起一个庞大的理论体系，论证数不尽的世间奥秘。不过，由于数学本身也是一个不断发展变化的学科，像《几何原本》这样内容偏传统的著作终究会远离时代前沿的需要，许多结论的论证方法也会因为新工具的出现得到极大简化。解析几何、函数理论与微积分诞生后，它们的用途明显超过经典的平面几何，因此在高中阶段开始逐渐接触新的工具是势在必行的。不过无论时代如何发展，数学的逻辑魅力永恒不变，因此仍会在初中保留一部分平面几何作为思维训练，也是为一些常用几何结论的由来理由作一些交代。但是到了高中阶段就只需要了解已学过的一些几何常用结论的正确性就够了，不必再面面俱到。

== 基础知识 ==
我们在这里给出对高中有用的初中算术与代数基础知识脉络，并以粗体显示其中重要性较大的知识点。

=== 图形常识 ===
{{Wikipedia|欧几里得几何}}
{{Wikipedia|全等三角形}}
{{Wikipedia|内切圆}}
{{Wikipedia|几何中心}}
{{Wikipedia|三视图}}
有关“图形常识”，读者应该掌握的基础知识：
* 角平分线、线段垂直平分线、三角形中线、中位线的概念
* 多边形内角和与外角和的计算公式
* 三角形全等的几种判断条件
* 三角形的重心、垂心、内心的概念
* 等腰三角形与等边三角形的性质
* 平行四边形、菱形、正方形的性质异同点
* 圆的切线、弦长、圆心角的相关性质
* 三角形、长方形、梯形、圆形的面积计算
* 长方体、柱体的体积计算
* '''轴对称、中心对称、三视图的简单概念'''

我们挑选其中的部分重点知识作简要复习。

三角形边、角、线、比例大小关系常识：
* 三角形中的任意两边长之和大于第三边，任意两边长之差大于第三边。（这条性质是[[高中数学/立体几何与空间向量/向量不等式|三角不等式]]的源头，也与[[高中数学/预备知识/算术与代数#绝对值不等式|绝对值不等式]]存在联系。）
* 三角形的内角和为180度。
* 三角形的重心把每条中线都分割成长度为2:1的两部分。
* 三角形的中位线平行且等于底边的一半。
* 大边对大角定理。

等腰三角形和等边三角形的基本性质：
* 等腰三角形的中线与底边上的高线重合。
* 等腰三角形等腰、等底角。
* 等腰三角形底边中点到两腰的距离相等。
* 等边三角形三线合一。

圆的基础知识：
* 平面上到定点的距离相等的所有点构成一个圆。
* 半圆（直径）所对的圆周角是直角；反过来，90°的圆周角所对的弦是直径。（这是圆周角定理的重要推论。）
* 垂径定理：垂直于弦的直径平分弦且平分这条弦所对的两条弧。

=== 勾股定理 ===
{{Wikipedia|勾股定理}}
{{Wikipedia|勾股数}}
有关“勾股定理”，读者应该掌握的基础知识：
* '''勾股定理及其逆定理'''
* '''常见的几组勾股数'''

=== 图形的相似与比例 ===
{{Wikipedia|相似 (幾何)}}
{{Wikipedia|三角学}}
有关“相似比”，读者应该掌握的基础知识：
* 平行线所截得的线段长度成比例
* '''相似三角形的性质与判定'''
* 一般相似图形的相似比与量纲变化规律

有关“三角比与解三角形”，读者应该掌握的基础知识：
* '''正弦、余弦、正切的概念'''
* '''3个特殊角度的三角函数值表'''
* '''毕氏三角学恒等式'''
* 简单的解三角形问题

解三角形及三角比问题常用推论：
* 在直角三角形中，30度角所对的边的长度是斜边长度的一半，即<math>\sin 30^{\circ} = \frac 1 2</math>
* <math>\sin^2 A + \cos^2 A = 1</math>
* <math>\tan A = \frac{\sin A}{\cos A}</math>

有关“黄金比例”，读者应该掌握的基础知识：
* 了解黄金分割的定义
* 了解黄金分割数满足的关系式

=== 求解与论证方法 ===
{{Wikipedia|反证法}}
有关“论证方法”，读者应该掌握的基础知识：
* 了解辅助线的作用
* '''掌握反证法'''
* 掌握割补法与'''等面积法'''

有关“设未知数求解几何量”，读者应该掌握的基础知识：
* '''列方程或方程组求解未知边或未知角的大小'''
* '''利用设而不求的思想消去不需要实际用到的中间量'''

== 常用结论与常见模型 ==
=== 勾股定理推论 ===
平面毕氏定理及其逆定理：一个三角形是直角三角形的等价条件为存在两边的平方和等于第三边的平方。

毕氏定理包含以下常见推论：
* 直角三角形的三条边中，斜边最长。（另一种思路是作直角三角形的外切圆，然后论证半圆对应的弦是所有圆弧对应的弦中最长的。）
* 平面上两点间的距离公式：平面上2个点<math>P_1 (x_1, y_1), P_2 (x_2, y_2)</math>的距离为<math>\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}</math>。
* 空间中长度的勾股定理：设长方体的长、宽、高分别是a、b、c，则其斜对角线长为<math>\sqrt{a^2 + b^2 + c^2}</math>。（[[高中数学/向量与复数/有限维向量空间与内积空间|n维空间]]中[[w:欧几里得距离|欧几里得距离]]的定义也是由此类比而来。）
* 方向余弦关系式：设过原点的空间直线与3个空间坐标轴的夹角分别为<math>\alpha, \beta, \gamma</math>，那么一定有关系式<math>\cos^2 \alpha + \cos^2 \beta + \cos^2 \gamma = 1</math>成立。（我们会在[[高中数学/立体几何与空间向量/空间向量在立体几何中的应用|空间向量]]章节论证这个关系式。）
* [[高中数学/立体几何与空间向量/空间向量在立体几何中的应用#面积的三维勾股定理|空间中面积的勾股定理]]：直角四面体的3个直角三角形侧面的面积之平方和，等于其非直角三角形的底面积之平方。（我们会在高中的立体几何知识中学习到它。）

=== 三角形的一些基本公式 ===
{{Wikipedia|重心坐标}}
* 三角形重心坐标公式：<math>x = \frac{x_1 + x_2 + x_3}{3}, y = \frac{y_1 + y_2 + y_3}{3}</math>
* 直角三角形的内切圆半径公式：<math>r = \frac{a+b-c}{2}</math>，其中a、b是直角边长，c是斜边长。
* 一般三角形的内切圆半径公式：<math>r = \frac{2 S}{a+b+c}</math>，其中S是三角形面积，a、b、c是三角形三边。（由内切圆圆心向3个切点各引出一条线段，然后利用等面积法易证。）
反过来，如果已知三角形的三边长a、b、c和内切圆的半径r，也可以利用上述关系式快速求出三角形面积，即<math>S = \frac{(a+b+c)r}{2}</math>。

=== 三角形面积公式补充 ===
{{Wikipedia|希罗公式}}
古希腊数学家[[w:亚历山大港的希罗|希罗]]（古希腊语：Ἥρων，{{lang-en|Hero of Alexandria}}，10－70）曾给出下列的希罗公式（也译为海伦公式）：已知三角形三边长a、b、c，设<math>p = \frac{a+b+c}{2}</math>，则三角形的面积A为：
: <math>A = \sqrt{p(p-a)(p-b)(p-c)}</math>。

希罗公式的证法较多。但为结合高中数学的知识，我们之后会在[[高中数学/函数与三角/正弦定理与余弦定理|余弦定理]]、[[高中数学/向量与复数/向量的点积与夹角|向量]]等章节中依次使用不同的方法证明这个公式。

需要留意的是，当已知的三角形边长中带有根号（多数情况是单重根号）时，使用希罗公式就会非常不方便，这时需要考虑使用其它能只根据各边长平方（利用平方运算去除根号）来计算面积的替代公式。

中国南宋数学家[[w:秦九韶|秦九韶]]（1208年－1261年）曾不加证明地直接给出下列三斜求积公式：
: <math>A = \sqrt{\frac1{4} \left[ a^2 c^2 - \left( \frac{a^2 + c^2 - b^2}{2} \right)^2 \right]} \quad (a \ge b \ge c)</math>

此外，已知三角形的三边长分别为a、b、c，则其面积A还可以按下列公式计算：<br />
# 取<math>
\left\{
\begin{array}{l}
 r + s = a^2 \\
 s + t = b^2 \\
 t + r = c^2
\end{array}
\right.
</math>，通过解方程确定其中的参数r、s、t的值。
# 则有：<math>A = \frac{\sqrt{rs + st + tr}}{2}</math><br />
上式主要来源于勾股定理在立体几何中对面积关系的推广（参见[[高中数学/立体几何与空间向量/空间向量在立体几何中的应用#面积的三维勾股定理|面积的三维勾股定理]]）。

如果已知角A、B的对应边长a、b和角C的正弦值，可以利用几何关系得到<math>S = \frac{ab \sin C}{2}</math>。将a看作底边、<math>b \sin C</math>看作高，或是将b看作底边、<math>a \sin C</math>看作高，都可以得到这个公式。我们将在介绍[[高中数学/函数与三角/正弦定理与余弦定理|正弦定理与余弦定理]]的章节中大量应用这个公式求三角形的面积。

== 补充习题 ==
[[File: Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File: Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

== 参见 ==
* [[初中数学/目录/几何]]

== 参考资料 ==
{{Reflist}}

{{DEFAULTSORT:fundamentals and preliminaries of geometry}}
[[category:清单|high school]]
[[category:高中数学|preliminaries]]