Trong mặt phẳng hệ trục tọa độ Oxy; cho điểm A(0;4); B(4;4); C(4;0)

Trong mặt phẳng hệ trục tọa độ Oxy, cho điểm A(0;4), B(4;4), C(4;0)
a, chứng minh rằng OABC là hình vuông. Tìm tọa độ I của tâm hình vuông OABC
b, viết phương trình đường thẳng AC. tìm ảnh của đường thẳng Ac qua phép quay tâm I góc 90