AB' este diagonala patratului ABCD
A'B este diagonala patratului ABCD
AB' perpendicular pe A'B
A'B intersectat cu AB' in punctul O
A'O perpendicular pe AB'
A'B = AB' = 12 radical din 2
Diagonalele patratului se injumatatesc => A'O = 6 radical din 2 => d(A';AB')=6 radical din 2