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

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