猜想

如图23.4.2，在中，点D、E分别是AB与AC的中点．根据画出的图形，可以猜想：

， 且 ．

对此，我们可以用演绎推理给出证明．