As shown in the figure, ab = BC, ∠ ABC = 90 ° in △ ABC, and △ ABC rotates clockwise around point B to △ a1bc1, and the rotation angle is α, 0 °

As shown in the figure, ab = BC, ∠ ABC = 90 ° in △ ABC, and △ ABC rotates clockwise around point B to △ a1bc1, and the rotation angle is α, 0 °

1) It is proved that: ∵ in ≌ Abe and ≌ c1bf, ≌ be = BF, ≌ EA1 = FC, ∵ a = ∵ C1 AB = C1b ≌ aba1 = ∵ cbc1, ≌ c1bf, ≌ be = BF, ∵ EA1 = FC; when α = 45 °, the quadrilateral bc1da is a diamond. It is proved that when α = 45, ∵ cbc1 = ≌ C = 45 °, ∥ AC ≌ BC1, similarly, a1c1 ≌ AB, ∥ EA1 = FC