羊角模型，也称为“角平分线-对边中线模型”，是三角形中的一个重要性质。其证明过程如下：

首先，在三角形ABC中，设角A的平分线交BC于D，再过D作BC的平行线分别交AB、AC于E、F。

由于DE平行于BC，根据平行线的性质，我们有角EDB等于角CBD，又因为AD是角BAC的平分线，所以角EAD等于角FAD。

再由于三角形AED与三角形AFD有公共边AD，且角AED等于角AFD，角EAD等于角FAD，根据ASA全等条件，三角形AED全等于三角形AFD，所以AE等于AF。

同理，我们可以证明BE等于CF。因此，我们证明了在三角形中，角平分线将对边分为两段相等的部分，这就是羊角模型的性质。