Bài 3
a) Vì tứ giác ABCD là hình vuông

=> ˆB=ˆC=ˆA=ˆDB^=C^=A^=D^ =900=900

Xét ΔCIF và ΔCBE có:

ˆB=ˆFICB^=FIC^ =900=900

ˆC1C1^ : chung

=> ΔCIF∼ΔCBE (g.g)

b) Xét ΔDIC và ΔDCF có:

ˆC=ˆDICC^=DIC^ =900=900

ˆD1D1^ : chung

=> ΔDIC∼ΔDCF (g.g)

=> ˆDFC=ˆDCIDFC^=DCI^ hay ˆIFC=ˆDICIFC^=DIC^

Xét ΔIDC và ΔICF có:

ˆDIC=ˆFICDIC^=FIC^ =900=900

ˆIFC=ˆDCIIFC^=DCI^ (cmtrn)

=> ΔIDC∼ΔICF (g.g)

⇒IDIC=ICIF⇔ID.IF=IC2⇒IDIC=ICIF⇔ID.IF=IC2 (đpcm)