まず、三角形AB'Bと三角形AD'Dに着目する。
* ∠AB′B=90∘ (Bから引いた垂線) * ∠AD′D=90∘ (Dから引いた垂線) * AB=AD (正方形の辺) 次に、∠B′AB+∠D′AD=90∘ を示す。 Aを通る直線なので、∠B′AB+∠BAD+∠D′AD=180∘となる。 ∠BAD=90∘であるから、∠B′AB+∠D′AD=180∘−90∘=90∘ ここで、∠AB′B=90∘ なので ∠AB′Bの直角三角形から∠B′AB+∠ABB′=90∘である。 したがって、∠D′AD=∠ABB′となる。 以上のことから、三角形AB'Bと三角形AD'Dにおいて、
* ∠AB′B=∠AD′D=90∘ * ∠D′AD=∠ABB′ よって、三角形AB'Bと三角形AD'Dは合同である(直角三角形の斜辺と1つの鋭角がそれぞれ等しい)。
したがって、BB′=AD′ かつ AB′=DD′ である。 最後に、B′D′=AB′+AD′ であることを利用する。 B′D′=AB′+AD′=DD′+BB′ となる。 したがって、BB′+DD′=B′D′ が成り立つ。