(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 (証明終わり)