求证:
证明:∵ ▲ (已知)
∴ ▲ (两直线平行内错角相等)
∵(已知)
∴ ▲ ▲ (等式的性质)
即
在与中,
∵
∴( )
∴ ▲ (全等三角形对应角相等)
, 试猜想线段、和之间存在的数量关系,并说明理由.