`(vec[BD], vec[A'C'])=(vec[B'C'], vec[A'C'])=hat[A'C'B]`

Mặt khác `BC'` là đường chéo hình vuông `A'C'D'B -> BC'` là đường phân giác `hat[A'C'D]`

`-> hat[A'C'B]=hat[D'C'B]=45^@`

`-> (vec[B'C'], vec[A'C'])=45^@`

`-> cos(vec[BD], vec[A'C'])=cos(vec[B'C'], vec[A'C'])=cos45^@=[sqrt2]/2`

`-> bbD`