【问题:】如图1,在中, , 点是边上一点(不与 , 重合),将线段绕点逆时针旋转得到 , 连接 , 则线段 , 之间满足的数量关系式为.
【探索:】如图2,在与中, , , 将绕点旋转,使点落在边上,请探索线段 , , 之间满足的数量关系,并证明你的结论.
【应用:】如图3,在四边形中, , 若 , , 求的长.