ABC < ACD

Par conséquent [ax. 4]»

ABC+ ACB < ACD-h ACB.

Fig. i7.

Or on a[pr. i3] ACD-h ACB=2dr.

Donc ABC-f-ACB<2dr.

On démontrerait de même que chacune des deux sommes

BAC-hACB, CAB+ABC est moindre que deux angles droits.

Deux eôti$kC,kh d'un triangle ABC(flg.i8)^ iiant inégaux, au plus grand côté AC est opposé un plus grand angle ABC.

Soit AC > AB. Prenons ADs: AB [pr. 3^ note], et joignons BD. On aura alors [pr. i6]

ADB>ACB.

Hais ADB=ABD [pr. 5].

Donc ABD> ACB^ et à plus forte raison