seler:
Długość promienia = r, w trójkącie AED: δ = 90
o − α, sinα = cosδ.
Skorzystamy z tożsamości: 1 − cos2x = 2sin
2x
Z twierdzenia cosinusów w trójkątach ACS i BSD:
|AC|
2 = 2r
2 − 2r
2cos2δ = 2r
2(1 − cos2δ) = 2r
2 * 2sin
2δ = 4r
2cos
2α
|BD|
2 = 2r
2 − 2r
2cos2α = 2r
2(1 − cos2α) = 2r
2 * 2sin
2α = 4r
2sin
2α
|AC|
2 + |BC|
2 = ...