一切尺规作图能够完成的操作,直尺作图都能做到。

当然,直尺是画不了圆的,你只需要知道这个圆的圆心和半径即可。

什么是直尺作图

顾名思义,就是只使用直尺作图,直尺要满足这四个特点:

  1. 没有刻度
  2. 无限长度
  3. 带有单位宽度
  4. 直尺的两边都是直线且平行

    另外,它只能进行如下操作:
  5. 过两点作一条直线
  6. 把线段向两端无限延伸
  7. 过一条线作距离为单位长度的平行线(即用尺子的一条边与一条直线对齐,在另一边作平行线)
  8. 给定距离不小于单位长度的两点,作距离为11的两条平行线,且这两条平行线经过这两点(即把尺子卡在两个点上并作平行线)
  9. 有限次执行上述操作

我们称上面这五条为规则

知道这些基础知识后,我们就可以开始了。

怎么证明

如何证明一个作图法与可以完成尺规作图的操作?

首先,你为什么要用尺规?

因为直尺可以作直线,圆规可以作圆,而我们不断找着这些图形的交点,然后再作图。

那么理由无非只有三个:

  1. 找出直线与直线的交点
  2. 找出直线与圆的交点
  3. 找出圆与圆的交点

所以,假如你要证明尺规作图的操作,仅用直尺也能作出来,就需要我们证明仅使用直尺及其规则完成上面三点内容即可。

那么,让我们拿起这块基石,一点一点地搭建起几何的大厦吧!

开始证明

中点

如图所示,已知线段ABAB,求作ABAB中点。

过程:

ABAB单位长度上方作平行线ll
ll上方任意取一点CC
连接ACACllDD,连接BCBCllEE
连接DB,AEDB,AE交于FF
连接CFCF并延长到GG,那么GGABAB中点

证明:

塞瓦定理CDDA×AGGB×BEEC=1\frac{CD}{DA}\times\frac{AG}{GB}\times\frac{BE}{EC}=1
lAB\because l\parallel AB
DACD=BEEC\therefore\frac{DA}{CD}=\frac{BE}{EC}
AG=GB\therefore AG=GB

中垂线

如图所示,已知线段ABAB,求作ABAB中垂线。

过程:

A,BA,B两点作一对单位平行线AD,BCAD,BCAC,BDAC,BD,相交于C,DC,D
连接CDCD,交ABABEE,则直线CDCDABAB中垂线。

证明:

AC=BC=BD=AD\because AC=BC=BD=AD
ABCD\therefore ABCD为菱形
\because菱形两条对角线互相垂直平分
CD\therefore CDABAB中垂线

但是!你有没有发现什么?

如果ABAB小于单位长度呢?

没有问题!看图:

过程:

ABAB中点CC
CC任意一条直线,向左和向右作单位平行线交ABABDDEE
DEDE的中垂线,则DEDE的中垂线为ABAB的中垂线

可以知道,DEDE是必定大于单位长度的,所以可以仿照上面的方法作DEDE中垂线,又因为AC=BC,DC=CEAC=BC,DC=CE,所以DA=BEDA=BEDEDE的中垂线即为ABAB的中垂线。

平行线

如图,已知直线llll外一点AA,求作过AAll的平行线。

过程:

ll上任意取一点BB,连接ABAB,向左和向右作单位平行线分别交llC,DC,D
ABAB中点EE,连接DEDE并交于FF
连接AFAF,则AFAFll的平行线

证明:

BC=BD\because BC=BD
FE=ED\therefore FE=ED
AE=EB\because AE=EB
AEFBED\therefore \triangle AEF\cong\triangle BED
FAl\therefore FA\parallel l

垂线

如图,已知llll外一点AA,求作过AAll的垂线。

过程:

ll上任取两点B,CB,C,作BCBC中垂线。
若中垂线在AA上已完成,若不在,过AABCBC中垂线的平行线交于EE,则AEAE为过AAll的垂线。

证明不用写了吧,两直线平行,同位角相等。

角平分线

如图,已知BAC\angle BAC,求作BAC\angle BAC的角平分线。

过程:

ACACBB一侧作单位平行线交ABABEE,过ABABCC一侧作单位平行线交ACACDD
两条平行线交于FF,连接AFAF,则AFAFBAC\angle BAC的角平分线。

证明:

EFAC,FDAB\because EF\parallel AC,FD\parallel AB
AEDF\therefore AEDF为平行四边形
\because平行四边形对角线平分内角
EAF=FAD\therefore \angle EAF=\angle FAD

Tip:当BAC\angle BAC为一些特殊角度时(如180180^\circ360360^\circ时),这个方法就不管用了,不过这没什么影响,这种特殊角更容易作出角平分线。

线段的加减

如图,求作以CC为圆心,ABAB为半径所作的圆与直线的交点。

这题其实就是想让你把ABAB挪到CC所在这条直线上。

我们可以用类似于作平行线的方法将ABAB平移到CC

那么,ABAB就被平移到CDCD了。为了能让它在直线上,我们要把它旋转下来。

为了让它旋转下来,我们可以利用等腰三角形三线合一的性质。

CDCD与直线产生了两个角(下面那两个不算),我们分别平分他,再分别过DD作这两条角平分线的垂线交于GGFF

因为CECE平分DCF,DFCE\angle DCF,DF\perp CE,那么DCF\triangle DCF等腰,因此CD=CFCD=CF,另一边同理。

那么现在我们可以任意对两条线段进行加减操作了。

线段的乘除

因为你已经可以将一条线段移动到另一条线段上了,那么线段的乘除就会比较简单。

如图,已知线段aabb,求作abab长的线段和ab\frac{a}{b}长的线段。

过程:

aa的两端点为A,BA,B,过AAABAB垂线
ABAB上方作单位平行线交垂线于DD,在垂线上截取AC=bAC=b
连接DBDB,过CCBDBD平行线交于ABAB延长线上的EE,则AE=abAE=ab

证明:

BDCE\because BD\parallel CE
ADB=ACE\therefore \angle ADB=\angle ACE
DAB=CAE\because\angle DAB=\angle CAE
DABCAE\therefore \triangle DAB\sim \triangle CAE
DA:CA=BA:EA\therefore DA:CA=BA:EA
1:b=a:EA1:b=a:EA
EA=abEA=ab

同理可作出ab\frac{a}{b}的长度。如下图AE=abAE=\frac{a}{b}

平方根

如图,已知线段ABAB,求作线段AB\sqrt{AB}

过程:

作出线段ACAC,使其长度为AB+1AB1\frac{AB+1}{AB-1}
A,CA,C两点作一对单位平行线,并过AA作他们的垂线交于CC所在的平行线的DD
ABAB上方作单位平行线,作DAC\angle DAC平分线交于平行线于EE
EEABAB垂线交ABABFF,则AF=ABAF=\sqrt{AB}

证明:
可以算出DAC=cos1ADAC=cos1AB1AB+1\angle DAC=\cos^{-1}\frac{AD}{AC}=\cos^{-1}\frac{AB-1}{AB+1},以及EAF=tan1EFAF=tan11AF\angle EAF=\tan^{-1}\frac{EF}{AF}=\tan^{-1}\frac{1}{AF}

又因为2DAC=EAF2\angle DAC=\angle EAF,所以AF=1tan(cos1AB1AB+12)\large AF=\frac{1}{\tan(\frac{\cos^{-1}\frac{AB-1}{AB+1}}{2})}

利用半角公式,可以得出AF=ABAF=\sqrt{AB}

找出圆与直线的交点

既然我们可以只用直尺进行加减乘除开方运算了,那么...

如图,已知C,AB,DEC,AB,DE,求以CC为圆心,DEDE为半径的圆与ABAB的交点。

你的勾股定理可不是白学的。我们先过CCABAB垂线,很明显,GF=FHGF=FH,因为GHGH是圆的一根弦,弦的中垂线必定经过圆心。

所以FHFH的长度就是CH2CF2\sqrt{CH^2-CF^2},即DE2CF2\sqrt{DE^2-CF^2}。这是一个只包含减法乘法开方运算的式子,因此我们可以把它作出来,从而得出FHFH的长度,自然也可以找出圆和直线的交点了。

找出圆与圆的交点

这是证明的最后一步了!

已知A,B,CD,EFA,B,CD,EF。求作以AA为圆心,CDCD为半径的圆与以BB为圆心,EFEF为半径的圆的交点。

连接ABAB。我们可以得知GIGI垂直于ABAB(上面已经证过了)。

由图可知,我们已知AG,BGAG,BGABAB的长度。设AH=xAH=x,由题意得:

AG2AH2=BG2BH2AG^2-AH^2=BG^2-BH^2
AG2x2=BG2(ABx)2AG^2-x^2=BG^2-(AB-x)^2
x=AB2+AG2BG22ABx=\frac{AB^2+AG^2-BG^2}{2AB}

很明显,我们可以把这个xx作出来。

ABAB上截取AHAH后,过HHABAB垂线,那么只需要找出圆AA与直线的交点即可。

参考资料

趣题:只用一把带有两条平行边的直尺作图 | Matrix67: The Aha Moments