https://people.math.ethz.ch/~mimoreira/brute_force.pdf
... Arco Capaz, e OA = OB, temos OÂB = pi2 − BĈA. Logo, ∠(AO, l) = ∠(AC,BC); como Y O1 e´ paralela a AO ... . Enta˜o o quadrila´tero [DHKL] e´ c´ıclico, pois KL̂D = DĤK = pi2 . Logo, RK ·RL = RH ·RD pelo Teorema ... Arco Capaz, e OA = OB, temos OÂB = pi2 − BĈA. Logo, ∠(AO, l) = ∠(AC,BC); como Y O1 e´ paralela a AO ... . Enta˜o o quadrila´tero [DHKL] e´ c´ıclico, pois KL̂D = DĤK = pi2 . Logo, RK ·RL = RH ·RD pelo Teorema ...
https://people.math.ethz.ch/~mimoreira/random_configurations.pdf
... ′] seja um para- lelogramo. Ora, como [AA′] e´ um diaˆmetro, AB̂A′ = pi2 , logo CB̂A ′ = pi2 − AB̂C = BĈH ... recta HM passa por A′, temos HP̂A = A′P̂A = pi2 , logo, como HÊA = AF̂H = pi2 , temos o pretendido. Os ... ′] seja um para- lelogramo. Ora, como [AA′] e´ um diaˆmetro, AB̂A′ = pi2 , logo CB̂A ′ = pi2 − AB̂C = BĈH ... recta HM passa por A′, temos HP̂A = A′P̂A = pi2 , logo, como HÊA = AF̂H = pi2 , temos o pretendido. Os ...
https://people.math.ethz.ch/~mimoreira/begginers.pdf
... LM̂B = BL̂M = pi2 − θ2 . Temos tambe´m BĈD = 180◦−2θ, ja´ que CD̂B = θ. Mas, como calcular DÂB ... LM̂B = BL̂M = pi2 − θ2 . Temos tambe´m BĈD = 180◦−2θ, ja´ que CD̂B = θ. Mas, como calcular DÂB ...
