


(2)BI=CDで、BI⊥CDであることを証明せよ。
この3つの正方形の中心を順に、O1,O2,O3とおく。
(3)辺BCの中点Mを利用して、O1O2=CO3で、O1O2⊥CO3であることを証明せよ。
線分FIの中点をNとする。
(4)AO3=AN,AO3⊥ANであることを証明せよ。




 
(3)△MO1O2と△MCO3においてMO1=MC
   
   MO2 / / BI,MO3 / / DCより MO2⊥MO3
 よって、△MO1O2をMを中心に90度回転して、O1をCに重ねると、O2はO3に重ならなければならない。
 故に、O1O2=CO3,O1O2=CO3
 (証明終わり)
 
(4)△AO3Cと△ANIにおいて
だから
   NI⊥O3C,AC=AI
 よって△AO3CをAを中心に90度回転して、CをIに重ねると、O3はNに重ならなければならない。
 故に、AO3=AN,AO3⊥AN (証明終わり)