Neka je α = ∠ B A C \alpha=\angle BAC α = ∠ B A C i β = ∠ A B C \beta=\angle ABC β = ∠ A B C , te neka je a = ∣ B C ∣ a=|BC| a = ∣ B C ∣ , b = ∣ A C ∣ b=|AC| b = ∣ A C ∣ , c = ∣ A B ∣ c=|AB| c = ∣ A B ∣ .
Budući da je ∠ B A F = 60 ∘ \angle BAF=60^\circ ∠ B A F = 6 0 ∘ i ∠ O A C = 30 ∘ \angle OAC=30^\circ ∠ O A C = 3 0 ∘ , slijedi da je ∠ O A F = α + 90 ∘ \angle OAF=\alpha+90^\circ ∠ O A F = α + 9 0 ∘ .
Također, uočimo da je
∣ A O ∣ = 2 3 ⋅ b 3 2 = b 3 3 . |AO|=\frac23\cdot\frac{b\sqrt3}{2}=\frac{b\sqrt3}{3}. ∣ A O ∣ = 3 2 ⋅ 2 b 3 = 3 b 3 .
Primijenimo li poučak o kosinusu na trokut A O F AOF A O F , dobivamo
∣ O F ∣ 2 = b 2 3 + c 2 − 2 ⋅ b 3 3 ⋅ c ⋅ cos ( α + 90 ∘ ) . |OF|^2=\frac{b^2}{3}+c^2-2\cdot\frac{b\sqrt3}{3}\cdot c\cdot\cos(\alpha+90^\circ). ∣ O F ∣ 2 = 3 b 2 + c 2 − 2 ⋅ 3 b 3 ⋅ c ⋅ cos ( α + 9 0 ∘ ) .
Budući da je ∠ C B D = 60 ∘ \angle CBD=60^\circ ∠ C B D = 6 0 ∘ , slijedi da je ∠ A B M = β + 60 ∘ \angle ABM=\beta+60^\circ ∠ A B M = β + 6 0 ∘ . Primijenimo li poučak o kosinusu na trokut A B M ABM A B M , dobivamo
∣ A M ∣ 2 = a 2 4 + c 2 − 2 ⋅ a 2 ⋅ c ⋅ cos ( β + 60 ∘ ) . |AM|^2=\frac{a^2}{4}+c^2-2\cdot\frac{a}{2}\cdot c\cdot\cos(\beta+60^\circ). ∣ A M ∣ 2 = 4 a 2 + c 2 − 2 ⋅ 2 a ⋅ c ⋅ cos ( β + 6 0 ∘ ) .
Treba pokazati da je 2 ∣ A M ∣ = 3 ∣ O F ∣ 2|AM|=\sqrt3|OF| 2∣ A M ∣ = 3 ∣ O F ∣ , tj. 4 ∣ A M ∣ 2 − 3 ∣ O F ∣ 2 = 0 4|AM|^2-3|OF|^2=0 4∣ A M ∣ 2 − 3∣ O F ∣ 2 = 0 .
Uvrstimo li dobivene rezultate, dobivamo
4 ∣ A M ∣ 2 − 3 ∣ O F ∣ 2 = c 2 + a 2 − b 2 − 4 a c cos ( β + 60 ∘ ) + 2 b c 3 cos ( α + 90 ∘ ) = c 2 + a 2 − b 2 − 4 a c cos ( β + 60 ∘ ) − 2 b c 3 sin α = 2 a c cos β − 4 a c cos ( β + 60 ∘ ) − 2 b c 3 sin α , \begin{aligned} 4|AM|^2-3|OF|^2 &=c^2+a^2-b^2-4ac\cos(\beta+60^\circ)+2bc\sqrt3\cos(\alpha+90^\circ)\\ &=c^2+a^2-b^2-4ac\cos(\beta+60^\circ)-2bc\sqrt3\sin\alpha\\ &=2ac\cos\beta-4ac\cos(\beta+60^\circ)-2bc\sqrt3\sin\alpha, \end{aligned} 4∣ A M ∣ 2 − 3∣ O F ∣ 2 = c 2 + a 2 − b 2 − 4 a c cos ( β + 6 0 ∘ ) + 2 b c 3 cos ( α + 9 0 ∘ ) = c 2 + a 2 − b 2 − 4 a c cos ( β + 6 0 ∘ ) − 2 b c 3 sin α = 2 a c cos β − 4 a c cos ( β + 6 0 ∘ ) − 2 b c 3 sin α ,
pri čemu zadnja jednakost vrijedi zbog poučka o kosinusu na trokut A B C ABC A B C .
Prema poučku o sinusima vrijedi b sin α = a sin β b\sin\alpha=a\sin\beta b sin α = a sin β , pa slijedi
4 ∣ A M ∣ 2 − 3 ∣ O F ∣ 2 = 2 a c cos β − 4 a c cos ( β + 60 ∘ ) − 2 a c 3 sin β . 4|AM|^2-3|OF|^2=2ac\cos\beta-4ac\cos(\beta+60^\circ)-2ac\sqrt3\sin\beta. 4∣ A M ∣ 2 − 3∣ O F ∣ 2 = 2 a c cos β − 4 a c cos ( β + 6 0 ∘ ) − 2 a c 3 sin β .
Konačno, budući da je
cos ( β + 60 ∘ ) = cos 60 ∘ cos β − sin 60 ∘ sin β = 1 2 cos β − 3 2 sin β , \cos(\beta+60^\circ)=\cos60^\circ\cos\beta-\sin60^\circ\sin\beta=\frac12\cos\beta-\frac{\sqrt3}{2}\sin\beta, cos ( β + 6 0 ∘ ) = cos 6 0 ∘ cos β − sin 6 0 ∘ sin β = 2 1 cos β − 2 3 sin β ,
slijedi da je
4 ∣ A M ∣ 2 − 3 ∣ O F ∣ 2 = 0. 4|AM|^2-3|OF|^2=0. 4∣ A M ∣ 2 − 3∣ O F ∣ 2 = 0.
Službeni alternativni završetak.
Umjesto korištenja poučka o kosinusu za trokut A B M ABM A B M , vrijednost ∣ A M ∣ 2 |AM|^2 ∣ A M ∣ 2 možemo izraziti iz trokuta A C M ACM A C M :
∣ A M ∣ 2 = b 2 + 3 a 2 4 − a b 3 cos ( γ + 30 ∘ ) . |AM|^2=b^2+\frac{3a^2}{4}-ab\sqrt3\cos(\gamma+30^\circ). ∣ A M ∣ 2 = b 2 + 4 3 a 2 − ab 3 cos ( γ + 3 0 ∘ ) .
Tada je
4 ∣ A M ∣ 2 − 3 ∣ O F ∣ 2 = 3 b 2 + 3 a 2 − 3 c 2 − 4 a b 3 cos ( γ + 30 ∘ ) + 2 b c 3 cos ( α + 90 ∘ ) = 6 a b cos γ − 4 a b 3 cos ( γ + 30 ∘ ) − 2 b c 3 sin α = 6 a b cos γ − 4 a b 3 cos ( γ + 30 ∘ ) − 2 a b 3 sin γ = 0. \begin{aligned} 4|AM|^2-3|OF|^2 &=3b^2+3a^2-3c^2-4ab\sqrt3\cos(\gamma+30^\circ)+2bc\sqrt3\cos(\alpha+90^\circ)\\ &=6ab\cos\gamma-4ab\sqrt3\cos(\gamma+30^\circ)-2bc\sqrt3\sin\alpha\\ &=6ab\cos\gamma-4ab\sqrt3\cos(\gamma+30^\circ)-2ab\sqrt3\sin\gamma=0. \end{aligned} 4∣ A M ∣ 2 − 3∣ O F ∣ 2 = 3 b 2 + 3 a 2 − 3 c 2 − 4 ab 3 cos ( γ + 3 0 ∘ ) + 2 b c 3 cos ( α + 9 0 ∘ ) = 6 ab cos γ − 4 ab 3 cos ( γ + 3 0 ∘ ) − 2 b c 3 sin α = 6 ab cos γ − 4 ab 3 cos ( γ + 3 0 ∘ ) − 2 ab 3 sin γ = 0.