Ta có:
- Góc OAK = Góc OLC (do cạnh OA song song với cạnh LC và cạnh OK song song với cạnh LA trong hình bình hành ALCK)
- Góc OKA = Góc OCL (do cạnh OA song song với cạnh LC và cạnh OK song song với cạnh LA trong hình bình hành ALCK)
Vậy, ta có các cặp góc tương ứng bằng nhau, từ đó suy ra tam giác OKA bằng tam giác OLC theo nguyên tắc hai góc bằng nhau và cạnh chung.
Tiếp theo, chúng ta cần chứng minh rằng ALCK là hình bình hành.
- Ta có OA song song với CK (do OA và CK là đường chéo của hình bình hành ABCD)
- Ta có OC song song với AK (do OC và AK là đường chéo của hình bình hành ABCD)
Vậy, theo định nghĩa hình bình hành, ta có ALCK là hình bình hành.
Vậy, tam giác OKA bằng tam giác OLC và ALCK là hình bình hành.