Difference between haversine and law of cosines

[ngc2024]

Homework Statement

I am currently attempting to derive the haversine formula from the sperhical law of cosines. My only problem is that it seems to me that there is some kind of modification from the cosine law to the haversine. My question is if anyone knows what and why a modification has been implemented?

Homework Equations

The law of sperical cosines:
$cos(C)=cos(A)cos(B)+sin(A)sin(B)cos(α)$


The haversine formula:
$d=2\times r\times arcsin$$\sqrt{sin^2\frac{\phi_2-\phi_1}{2}+cos(\phi_1)cos(\phi_2)sin^2\frac{\lambda_2-\lambda_1}{2}}$

The Attempt at a Solution

In fear of being taken for plagiarism in my paper, I can't show my whole working here. However, the problem seems to be, that when you work with the spherical law of cosines, parts of the expression equals: $\frac{sin(\phi_1)sin(\phi_2)}{-2}$
whereas the haversine here equals:$sin^2$ ($\frac{\phi_2-\phi_1}{2}$)
These expressions are not equal? Why has it been changed?

Thank you

 

[UltrafastPED]

Does this help?
http://en.wikipedia.org/wiki/Haversine_formula

 

[ngc2024]

Thank you, but unfortunately not. The article maintaines that the formulas are equal, which other pages and my own formulas go against...

 

[UltrafastPED]

Without seeing your work it is not possible to determine where your error is.

If you followed the links in the haversine formula article you would find the identities:
http://en.wikipedia.org/wiki/Haversine

 

[ahmmha]

Starting with: cos(C) = cos(A) cos(B) + sin(A) sin(B) cos(a) and using cos(A-B) = cos(A) cos(B) + sin(A) sin(B) gives,

cos(C) = cos(A-B) - sin(A) sin(B) +sin(A) sin(B) cos(a)
cos(C) = cos(A-B) - sin(A) sin(B) (1-cos(a))
1 + cos(C) = 1 + cos(A-B) - sin(A) sin(B) (1-cos(a)) adding 1 to both sides
1 - cos(A-B) = 1 - cos(C) - sin(A) sin(B) (1-cos(a)) regrouping and dividing every member by 2
(1 - cos(A-B))/2= (1 - cos(C))/2 - sin(A) sin(B) (1-cos(a))/2
have(A-B) = have(C) - sin(A) sin(B) have(a)