x O y ' ^ = x ' O y ^
a) Ta có: O 1 ^ = x O y ^ 2
Mà O 1 ^ = O 2 ^ (đối đỉnh), x O y ^ = x ' O y ' ^ (đối đỉnh)
O 4 ^ = O 5 ^ Lại có:
x O t ' ^ = x O y ' ^ + O 5 ^ và t ' O y ^ = x ' O y ^ + O 4 ^ =
mà x O y ' ^ = x ' O y ^ (đối đỉnh) và O 4 ^ = O 5 ^
Lại có
x O t ' ^ = x O y ' ^ + O 5 ^ và t ' O y ^ = x ' O y ^ + O 4 ^
Mà x O y ' ^ = x ' O y ^ (đối đỉnh)
Và O 4 ^ = O 5 ^ => x O t ' ^ = t ' O y ^