Last edited by realnumber 2014-4-10 23:20
若ΔDEG有一顶点G不在边上,延长EG交正方形的边于F点,容易得ΔDEG的内心H到边DE的距离$r_1$,即为内接圆半径,小于ΔDEF的内心K到DE的距离.
如此说明了,要证1楼成立,只要证三角形三顶点在边上的条件下成立即可.
Last edited by realnumber 2014-4-12 07:53
继续2楼,以下证明总可以使得三角形一顶点在正方形顶点上.
三顶点都在边上,若分别在三条边上,假设都不在顶点上,如图总可以平移三角形,使得三角形一顶点正方形顶点重合,再按2楼变形,如此得到了,三点都在边上,至少一点在顶点上.
当三顶点在2边上时,这个办法依然成立