三角形是初中数学学习中非常重要的一个概念，而三角形内部的旁心也是一个非常重要的概念。本文将介绍三角形旁心的性质和证明。

首先，什么是三角形旁心？三角形有三个顶点，对于每个顶点，我们可以画一条垂线分别与另外两个边相交，这三条垂线的交点称为三角形的旁心。三角形的三个旁心分别对应三条边，我们可以称这些旁心为A旁心、B旁心和C旁心。

接下来，我们来介绍一些三角形旁心的性质。首先，三角形的三条中线交于一点，这个点就是三角形的重心。重心与三角形的三个旁心组成的四边形是一个平行四边形。其次，三角形的三个旁心和顶点组成的四边形是一个凸四边形。第三，三角形的三个旁心与三个内切圆的交点共线，这条直线被称为欧拉线。

接下来，我们来证明一下这些性质。首先，证明三角形的三条中线交于一点。我们可以通过向量证明这个结论。设三角形的三个顶点分别为A、B、C，三条中线分别为AD、BE、CF，其中D、E、F分别为BC、AC、AB的中点。根据向量的加法和减法，有：

AD = (AB + AC) / 2

BE = (BC + BA) / 2

CF = (CA + CB) / 2

将上述三个向量相加，有：

AD + BE + CF = (AB + AC + BC + BA + CA + CB) / 2

= (2AB + 2AC + 2BC) / 2

= AB + AC + BC

因此，三条中线的和向量等于AB、AC、BC三条边向量的和向量。根据向量的平均值定理，三条中线的和向量等于三条边向量的平均向量，也就是三角形的重心。

接下来，我们证明三角形的旁心和重心组成的四边形是一个平行四边形。首先，我们可以证明三角形的重心到三角形的任意一条边的垂线中点的向量等于这条边的中点到三角形的对角线的中点的向量。这个结论也可以通过向量证明。设三角形的三个顶点分别为A、B、C，三条中线分别为AD、BE、CF，其中D、E、F分别为BC、AC、AB的中点。设G为三角形的重心，H为BC的中点，I为AD的中点。则有：

IG = (IA + AG) / 2

BH = (BC + CH) / 2

IA = AB / 2

AG = 2 / 3 * AD

将上述三个式子代入IG的式子中，有：

IG = AB / 4 + 2 / 3 * AD / 2

= AB / 4 + AD / 3

同理，三角形的重心到AC、AB两条边的垂线中点的向量也可以表示为这条边的中点到三角形的对角线的中点的向量。因此，三角形的重心到三角形的任意一条边的垂线中点的向量等于这条边的中点到三角形的对角线的中点的向量，也就是重心到旁心的向量。因此，这个四边形的对角线互相平分，是一个平行四边形。

最后，我们证明三角形的旁心与内切圆的交点共线。这个结论可以通过欧拉线来证明。欧拉线是三角形的重心、垂心、外心和旁心组成的四点共线的直线。我们已经证明了三角形的重心、垂心和旁心共线，因此欧拉线也就是重心、垂心、外心和旁心共线。而三角形的内切圆与三个边的交点也就是三角形的内心，内心和外心的连线与三角形的外边相切。因此，内心和外心的连线垂直于三角形的任意一条边，而内心到这条边的距离等于内切圆的半径，也就是说，三角形的内心到三条边的距离相等。因此，三角形的三个旁心与三个内切圆的交点共线。

综上所述，三角形旁心的性质是非常重要的，它们不仅有实际意义，而且可以帮助我们更好地理解和应用三角形的知识。