Como [tex3]\angle AMQ = 90^{\circ}[/tex3]
, então AQ é diâmetro (teorema de Tales), logo A, O e Q são alinhados.
Analogamente, B, O
1 e Q e também são colineares.
Raios dos círculos são iguais, uma vez que um passa pelo centro do outro. Logo, AQ = BQ e os triângulos [tex3]\triangle AMQ ~e ~\triangle BMQ~[/tex3]
e são congruentes por serem retângulos de mesmo cateto MQ e mesmas hipotenusas. Logo, [tex3]AM = BM = \frac{AB}2[/tex3]
e [tex3]AM = OO_1 = R[/tex3]
, pois OO
1 é base média do [tex3]\triangle AQB[/tex3]
.
O triângulo [tex3]\triangle AQB[/tex3]
é então equilátero.(FelipeMartin)
[tex3]\mathsf{Quadrilátero~ ACQT ~inscrito ~na ~circunferência~de ~centro O \therefore \angle ATQ = 90^o\\
Quadrilátero ~CBLQ~está ~inscrito ~na ~circunferência~ de~ centro O_1 \therefore \angle QLB = 90^0\\
\therefore \overline {AT} \parallel \overline {BL} \implies Quadrilátreo ~ABLT ~é~ um ~trapézio ~retângulo ~com ~ altura ~ \overline{LT}=a+b\\
\overline{AM}=\overline{BM}=R.}[/tex3]
[tex3]\mathsf{\triangle ATQ: AT^2+a^2=AQ^2\implies AT^2 = 4R^2-a^2\\ \therefore \boxed{AT = c = \sqrt{4R^2-a^2}}(I)\\\triangle QLB:BL^2+b^2 = BQ^2 \implies BL^2 = 4R^2 - b^2 \\\therefore \boxed{BL =d = \sqrt{4R^2 - b^2}}(II)\\\triangle ABD: AB^2 = AD^2+BD^2\implies 4R^2 = (c-d)^2+(a+b)^2 \implies 4R^2(3R^2-a^2-b^2-ab))=0\\\therefore \boxed{R = \sqrt{\frac{a^2+ab+b^2}{3}}}\\
mas ~AB = 2R \therefore \boxed{\color{red}AB = 2 \sqrt{\frac{a^2+ab+b^2}{3}}}}[/tex3]
(Solução: VALDERCIITOZZI -
viewtopic.php?f=4&t=28099&p=73402&hilit ... AB.#p73402)