10/01/07 08:02:02
part326の743です。帰省やら卒論やらでご無沙汰しておりました、すみません。
そのため自分の最後の書き込み（768）までしか把握していないのですが、どなたかログをお持ちでしたら
自分宛ての部分のみでもかまいませんので、拝見させては頂けないでしょうか？
一応、問題も再度載せておきます。
-----
次の証明の間違いを示せ。
長方形ABCDにおいて、辺CDを点Cを中心として少し長方形の外に回転させる。
点Dの変換点をD'と置く。
辺ADと線分AD'の垂直二等分線を引きその交点をEと置く。
△AED'は二等辺三角形、そして|AE|＝|ED'|。
また、辺ADの垂直二等分線は辺BCの垂直二等分線となる。
故に△BECは二等辺三角形より、|BE|＝|EC|。
長方形と辺CDの回転より、|AB|＝|CD|＝|CD'|。
故に△ABEと△ECD'は各辺が等しい。
故に合同で、∠ABE＝∠ECD'。
しかし、∠CBE＝∠BCE、そして∠ABC＝π/2＜∠BCD'。矛盾。