如图, 正方形ABCD中有长方形EFDG.
因为长方形EFDG
所以EG=DF,EF=DG(长方形对边相等)
所以减去长方形后的C六边形ABCFEG=EF+EG+FC+BC+AB+AG
所以C六边形ABCFEG=AG+BC+AB+CF+DG+FD(等量代换)
即AB+BC+CD+AD
即C正方形ABCD
如图, 正方形ABCD中有长方形EFDG.
因为长方形EFDG
所以EG=DF,EF=DG(长方形对边相等)
所以减去长方形后的C六边形ABCFEG=EF+EG+FC+BC+AB+AG
所以C六边形ABCFEG=AG+BC+AB+CF+DG+FD(等量代换)
即AB+BC+CD+AD
即C正方形ABCD