https://people.math.ethz.ch/~mimoreira/random_configurations.pdf

... , BD CD = AB sin(∠BAD) sin(∠ADB) AC sin(∠ CAD) sin(∠ADC) = AB AC · sin(∠BAD) sin(∠ CAD) . Analogamente ... obtemos BD CD = AB AC · sin(∠BAE) sin(∠CAE) . Como ∠BAD = ∠CAE e ∠ CAD = ∠BAE, multiplicando as duas relac ... , BD CD = AB sin(∠BAD) sin(∠ADB) AC sin(∠ CAD) sin(∠ADC) = AB AC · sin(∠BAD) sin(∠ CAD) . Analogamente ... obtemos BD CD = AB AC · sin(∠BAE) sin(∠CAE) . Como ∠BAD = ∠CAE e ∠ CAD = ∠BAE, multiplicando as duas relac ...