利用演绎法解决与三角形有关的几何问题

- - - - - - -