Ja sam to dokazao koristeći vektorski proizvod. Ne tvrdim da ne može dokazati i jednostavnije, ali zasad mi jedino ovaj način pada na pamet.
Označićemo sa [inlmath]P[/inlmath], [inlmath]Q[/inlmath] i [inlmath]R[/inlmath] središta stranica kvadrata, kao na slici:

- vektori.png (2.7 KiB) Pogledano 1507 puta
Tada je
[dispmath]\vec{AA'}=\vec{AB}+\vec{BP}+\vec{PA'}[/dispmath][dispmath]\vec{BB'}=\vec{BC}+\vec{CQ}+\vec{QB'}[/dispmath][dispmath]\vec{CC'}=\vec{CA}+\vec{AR}+\vec{RC'}[/dispmath]
pa kad saberemo ove tri jednakosti, dobićemo
[dispmath]\vec{AA'}+\vec{BB'}+\vec{CC'}=\underbrace{\left(\vec{AB}+\vec{BC}+\vec{CA}\right)}_0+\left(\vec{BP}+\vec{CQ}+\vec{AR}\right)+\left(\vec{PA'}+\vec{QB'}+\vec{RC'}\right)[/dispmath]
pri čemu je
[dispmath]\vec{PA'}=\frac{1}{2}\vec{BC}[/dispmath][dispmath]\vec{QB'}=\frac{1}{2}\vec{CA}[/dispmath][dispmath]\vec{RC'}=\frac{1}{2}\vec{AB}[/dispmath]
pa je
[dispmath]\vec{PA'}+\vec{QB'}+\vec{RC'}=\frac{1}{2}\underbrace{\left(\vec{BC}+\vec{CA}+\vec{AB}\right)}_0=0[/dispmath]
i ostaje da je
[dispmath]\vec{AA'}+\vec{BB'}+\vec{CC'}=\vec{BP}+\vec{CQ}+\vec{AR}[/dispmath]
Ako dokažemo da je [inlmath]\vec{BP}+\vec{CQ}+\vec{AR}=0[/inlmath], dokazali smo i da je [inlmath]\vec{AA'}+\vec{BB'}+\vec{CC'}=0[/inlmath].
Uvešćemo jedinični vektor [inlmath]\vec i[/inlmath] čiji je pravac normalan na ravan crteža, a smer je „prema dole“, tj. usmeren je
od posmatrača.
Posmatramo vektorski proizvod vektorskog zbira [inlmath]\vec{BP}+\vec{CQ}+\vec{AR}[/inlmath] i jediničnog vektora [inlmath]\vec i[/inlmath]:
[dispmath]\left(\vec{BP}+\vec{CQ}+\vec{AR}\right)\times\vec i=\vec{BP}\times\vec i+\vec{CQ}\times\vec i+\vec{AR}\times\vec i=\vec{PA'}+\vec{QB'}+\vec{RC'}[/dispmath]
Pošto je već ranije pokazano da je [inlmath]\vec{PA'}+\vec{QB'}+\vec{RC'}=0[/inlmath], znači da je i
[dispmath]\left(\vec{BP}+\vec{CQ}+\vec{AR}\right)\times\vec i=0[/dispmath]
Pošto su vektori [inlmath]\vec{BP}+\vec{CQ}+\vec{AR}[/inlmath] i [inlmath]\vec i[/inlmath] međusobno normalni, a [inlmath]\vec i[/inlmath] nije nula-vektor, to znači da [inlmath]\vec{BP}+\vec{CQ}+\vec{AR}[/inlmath] mora biti nula-vektor. Time je dokazano i da je [inlmath]\vec{AA'}+\vec{BB'}+\vec{CC'}[/inlmath] nula-vektor.