Доведения: Розглянемо ∆АОС i ∆BOD.
1) СО = OD (за умовою);
2) АО = ОВ (за умовою);
3) ∟AOC = ∟BOD (як вертикальні).
Отже, ∆АОС = ∆BOD за I ознакою.
Розглянемо ∆АВС i ∆BAD.
1) СА = BD (так як ∆АОС = ∆BOD);
2) ∟CAB = ∟DBA (так як ∆АОС = ∆BOD);
3) АВ - спільна.
Отже, ∆АВС = ∆BAD за I ознакою.
1) СО = OD (за умовою);
2) АО = ОВ (за умовою);
3) ∟AOC = ∟BOD (як вертикальні).
Отже, ∆АОС = ∆BOD за I ознакою.
Розглянемо ∆АВС i ∆BAD.
1) СА = BD (так як ∆АОС = ∆BOD);
2) ∟CAB = ∟DBA (так як ∆АОС = ∆BOD);
3) АВ - спільна.
Отже, ∆АВС = ∆BAD за I ознакою.