甲、乙两个含角的直角三角尺如图①放置,甲的直角顶点放在乙斜边上的高的垂足O处,将甲绕点O顺时针旋转一个锐角到图②位置.小莹用作图软件Geogebra按图②作出示意图,并连接 , 如图③所示,交于E,交于F,通过证明 , 可得 .
请你证明: .
延长分别交所在直线于点P,D,如图④,猜想并证明与的位置关系.
小亮将图②中的甲、乙换成含角的直角三角尺如图⑤,按图⑤作出示意图,并连接 , 如图⑥所示,其他条件不变,请你猜想并证明与的数量关系.