依赖:SAS 相似公理、SSS 全等判定。
陈述
设 △ABC 与 △A′B′C′ 顶点按对应顺序排列。下列两条都给出"两三角形相似"的判定标准:
(SSS 相似)三对应边成比例:
∣A′B′∣∣AB∣=∣B′C′∣∣BC∣=∣C′A′∣∣CA∣=k⟹△ABC∼△A′B′C′.
(SAS 相似)一对应角相等 + 该角的两条夹边成比例:
∠A=∠A′,∣A′B′∣∣AB∣=∣C′A′∣∣CA∣=k⟹△ABC∼△A′B′C′.
SAS 相似就是公理 IV 本身的形态,整篇证明的重点放在 SSS 相似上。
