在几何学中，四大模型是解决几何问题的常用工具，它们分别是中点四大模型、角平分线四大模型、隐形圆的四大模型以及铅笔头模型。以下是对这四大模型的详细介绍和构型公式。
中点四大模型
模型1：倍长中线或类中线
- 模型分析：当题目中出现中线或者中点时，可以利用倍长中线或类中线构造全等三角形。
- 构型公式：
- 假设AD是三角形ABC的中线，延长AD至点E使DE=AD，则三角形ADC和三角形EDB全等（SAS）。
- 假设D是BC的中点，延长FD至点E使DE=FD，则三角形FDB和三角形EDC全等（SAS）。
模型2：已知等腰三角形底边中点
- 模型分析：等腰三角形中有底边中点时，作底边的中线，利用等腰三角形三线合一的性质得到角相等或边相等。
- 构型公式：
- 在等腰三角形ABC中，若M为BC的中点，则AM=BM=CM。
角平分线四大模型
模型1：角平分线的点向两边作垂线
- 模型分析：利用角平分线的性质：角平分线上的点到角两边的距离相等。
- 构型公式：
- 假设P是角AOB的平分线上一点，过点P作PA垂直于OA，PB垂直于OB，则PA=PB。
模型2：角平分线的垂线
- 模型分析：在角平分线上任意找一点P，过点P作角平分线的垂线交角的两条边于A、B。
- 构型公式：
- 假设P是角AOB的平分线上一点，过点P作垂线于AB，则垂足O是AB的中点。
模型3：角平分线的对边
- 模型分析：在角平分线上任意取一点P，连接AP、BP，则AP=BP。
- 构型公式：
- 假设P是角AOB的平分线上一点，连接AP、BP，则AP=BP。
模型4：角平分线的延长线
- 模型分析：在角平分线上任意取一点P，延长AP、BP，则AP=BP。
- 构型公式：
- 假设P是角AOB的平分线上一点，延长AP、BP，则AP=BP。
隐形圆的四大模型
模型1：四点共圆
- 模型分析：四个点在同一个圆上。
- 构型公式：
- 假设A、B、C、D是圆上的四个点，则它们共圆。
模型2：动点到定点等于定长
- 模型分析：动点到定点的距离等于定长。
- 构型公式：
- 假设P是动点，O是定点，OP=定长。
模型3：直角所对的是直径
- 模型分析：直角所对的边是圆的直径。
- 构型公式：
- 假设O是圆心，AB是直径，∠AOB=90°。
模型4：定弦对定角
- 模型分析：定弦所对的角是定角。
- 构型公式：
- 假设AB是圆的定弦，∠ACB是定角。
铅笔头模型
- 模型分析：利用铅笔头模型可以解决与圆有关的几何问题。
- 构型公式：
- 假设O是圆心，AB是圆的弦，则OA=OB。
通过以上四大模型的构型公式，可以解决许多几何问题。在实际应用中，可以根据具体问题选择合适的模型进行分析和计算。