设小圆心为P, 半径为x,作PJ垂直RF于J,作PG垂直ER于G,作PI垂直HF于I,
易证
PG=2√(r1x)
PI=2√(r2x)
PG/PI = RJ/JF = √(r1/r2) = 2√(r1r2)/(2r1) = RF/(2ER)
RJ/JF = RF/(2ER)!!
作图:
延长RE至K,L使得,RK=RF,KL=2ER,连LF,作KJ//LF交RF于J。可得J点。
求x:
设 y2=JR2+JF2=r1x+r2x=(r1+r2)x
y长是以RJ,JF为邻边的直角三角形的斜边。
x可以用以下方法求:
作三角形TUV使得TU=y,TV=r1+r2=ER+HF, 角TUV=90,作UW垂直VT于W
UWT与VUT相似,WT=UT2/VT=y2/(r1+r2)=x
知道点J和x,过J作PJ垂直RF,截PJ=x,P就是小圆圆心。
