如图,已知, , , , 求证: .
证明:∵ , (已知)
∴______=______=90°(垂直的定义)
∴____________( )
∴( )
又∵(已知)
∴______(等量代换)
问题背景:在数轴上,点A表示数a,点B表示数b,若点C是AB的中点,则点C表示的数是 .
【尝试应用】(1)如图,已知 , , , . 设线段的中点为M,则M的坐标可以这样计算:M的横坐标等于 , M的纵坐标等于 , 即 , 设的中点为N,则N的横坐标等于 , N的纵坐标等于 , 即 , 分别找到线段和中点、 , 然后写出它们的坐标,则______,______.
【探究发现】(2)①再结合上述计算结果,你能发现若线段的两个端点的坐标分别为 , , 则线段的中点坐标为______.
②若点 , , 用我们发现的结论可以直接得到线段PQ的中点坐标为__________.
【拓展探索】(3)已知两点 , , 直接写出线段EF的三等分点的坐标.
②如图2, , , 分别平分 , , 与之间有什么数量关系?并说明理由;
(2)如图3, , , , 且 , 请直接写出的值.