Vis at (b ^ 2-c ^ 2) * cotA + (c ^ 2-a ^ 2) * cotB + (a ^ 2-b ^ 2) * cotC = 0

Ved sinus lov ved vi

# A / Sina = b / sinB = c / sinc = 2R #

Nu

1. del

# (B ^ 2-c ^ 2) Cota #

# = (4R ^ 2sin ^ 2B-4R ^ 2sin ^ 2C) Cota #

# = 4R ^ 2 (1/2 (1-cos2B) -1/2 (1-cos2C) Cota #

# = 4R ^ 2xx1 / 2 (cos2C-cos2B) Cota #

# = 2R ^ 2xx2sin (B + C) sin (B-C) cosa / sina #

# = 4R ^ 2sin (pi-A) sin (B-C) cosa / sina #

# = 4R ^ 2sinAsin (B-C) cosa / sina #

# = 4R ^ 2sin (B-C) cosa #

# = 4R ^ 2 (sinBcosCcosA-cosBsinCcosA) #

Tilsvarende

2. del # = (C ^ 2-a ^ 2) cotB #

# = 4R ^ 2 (sinCcosAcosB-cosCsinAcosB) #

3. del # = (A ^ 2-b ^ 2) cotC #

# = 4R ^ 2 (sinAcosBcosC-cosAsinBcosC) #

Tilføjelse af tre dele får vi

Hele udtryk

# (B ^ 2-c ^ 2) Cota + (c ^ 2-a ^ 2) cotB + (a ^ 2-b ^ 2) cotC = 0 #