https://photos.app.goo.gl/AkZzfxhqUxSaGJcL7 See sketch for position of points K, L, M We have AK⊥DG and ∠ (AIC)= 90+ ½* ∠ (B)= 135 => ∠ (EIC)=45 Since ID and CF perpendicular to AB => DI//FC We also have CF=MB=DI => DICF is a parallelogram So DF//IC => ∠ (DLK)= ∠ (EIC)= 45 => ∠(GDF)= 45
Isosceles trapezoid (see P 1411) is cyclic
ReplyDeletehttps://photos.app.goo.gl/AkZzfxhqUxSaGJcL7
ReplyDeleteSee sketch for position of points K, L, M
We have AK⊥DG and
∠ (AIC)= 90+ ½* ∠ (B)= 135 => ∠ (EIC)=45
Since ID and CF perpendicular to AB => DI//FC
We also have CF=MB=DI => DICF is a parallelogram
So DF//IC => ∠ (DLK)= ∠ (EIC)= 45 => ∠(GDF)= 45
If AC meets the excircle at Z, from my Proof of Problem 1407, DFZ are collinear
ReplyDeleteSo < GDA = < AGD - < GZD
= (90 - A/2) - C/2 = 45
Sumith Peiris
Moratuwa
Sri Lanka