## Geomock

Discussion on Bangladesh National Math Camp
Swapnil Barua
Posts: 14
Joined: Tue Apr 13, 2021 2:55 pm

### Geomock

In acute ∆ABC, let AD be the altitude from A on BC. Let P be a point on
AD. Line P B meets AC at E and P C meets AB at F. Suppose that AEDF is concyclic. Prove
that $\frac{P A}{P D}$ = (tanB + tanC)cot($\frac{A}{2}$)

Last bumped by Swapnil Barua on Wed Apr 21, 2021 10:45 pm.