△AECと△DBGにおいて、
仮定より DD=BFで△BDFは二等辺三角形だから、
< B D G = 2 B F D - Q
* t₁ < BAD = 2 FA C - @
BD 12 77 13 MAAF" <BFD - <BAD -
@JI LEAC - LBDG 4
2DBG LABEL DB C @
DABEA AFASY LAEC - LABET <BAD - @
DC12 27 33 ABATY Z DBC = LDAC .. @
@ FT 2 DB C = < BAD - 6
@
B
@JI LAF C = 2 DB G
SAFC S A D B G
81