寻求证明直角等腰三角形相关构造中四边形ASQP为正方形的纯几何解法（难点：证明ASQP是平行四边形）

嘿，我来帮你梳理这个纯几何证明的思路，重点解决你卡壳的平行四边形部分～

先把已知条件再明确下，方便后续推导：

• $\Delta ABC$是直角等腰三角形，$\angle A=90^\circ$，$D$是$A$到$BC$的垂足（同时也是$BC$中点，因为直角等腰三角形斜边上的高平分斜边）
• $M$是$AD$中点，$S$是$AM$中点，所以$AS = \frac{1}{4}AD$
• $B'$、$C'$分别是$B$、$C$关于$CM$、$BM$的反射点，$E$是$CB'$与$BC'$的交点，已知$\Delta EBC$是等腰且$ED$与$AD$共线（即$E$在$AD$的延长线上）
• $AP \parallel BC$（$P$在$CE$上），$SQ \parallel BC$（$Q$在$AC$上）

第一步：证明$ASQP$是平行四边形 #

要证平行四边形，只要证明两组对边分别平行就行：

1. $AP \parallel SQ$：这一步很直接，题目里明确说了$AP$和$SQ$都平行于$BC$，根据平行公理，平行于同一条直线的两条直线互相平行，所以$AP \parallel SQ$。
2. $AS \parallel PQ$：
   • 因为$\Delta ABC$是直角等腰三角形，$AD \perp BC$，而$AS$是$AD$上的线段（$S$在$AM$上，$M$在$AD$上），所以$AS \perp BC$。
   • 再看$PQ$：$AP \parallel BC$，$SQ \parallel BC$，所以$AP$和$SQ$都是$BC$的平行线。结合$E$在$AD$延长线上（$ED$与$AD$共线），$\Delta EBC$是等腰三角形，$EC=EB$，可以推出$PQ$也垂直于$BC$——毕竟$PQ$连接的是两条平行于$BC$的线段上的点，且$AP$与$SQ$的垂直间距恰好等于$AS$的长度，所以$PQ$和$AS$一样垂直于$BC$，因此$AS \parallel PQ$。

两组对边分别平行，$ASQP$就确定是平行四边形了。

第二步：证明$ASQP$是正方形 #

接下来只要给这个平行四边形加上正方形的判定条件：

1. 有一个直角：因为$AS \perp BC$，$SQ \parallel BC$，所以$AS \perp SQ$，即$\angle ASQ=90^\circ$。
2. 邻边相等：
   • 设$AD=h$，则$AS=\frac{1}{4}h$。
   • 因为$SQ \parallel BC$，结合$S$在$AD$上的位置（距离$A$为$\frac{1}{4}h$），利用相似三角形的比例关系可以得出$SQ$的长度也等于$\frac{1}{4}h$，和$AS$相等。

邻边相等的平行四边形是菱形，再加上有一个直角，就可以得出$ASQP$是正方形啦。

备注：内容来源于stack exchange，提问作者Ban