求证: .
我们知道,利用尺规作已知线段的垂直平分线可以得到该线段的中点、四等分点、……怎样得到线段的三等分点呢?如图,已知线段MN,用尺规在MN上求作点P,使 .
小颖的作法是:
①作射线MK(点K不在直线MN上);
②在射线MK上依次截取线段MA,AB,使 ,连接BN;
③作射线 ,交MN于点P点P即为所求作的点.
小颖作法的理由如下:
∵ (作法),∴
∵ (已知), (等量代换)
∵ (线段和差定义),∴ (等量代换,等式性质)
若将图中的垂线改为斜交,如图,AB∥CD,AD,BC相交于点E,过点E作EF∥AB交BD于点F,则: