Artificial intelligent assistant

Prove that it is always possible to subdivide a given trapezium into two similar trapeziums. Given that ABCD is a trapezium with AB // DC. Let $a = AB \lt CD = b$, $DA = c$ and $BC$ be also known. ![enter image description here]( Prove that there is a line PQ (with P on DA and Q on BC) drawn parallel to AB such that (Trap ABQP) ~ (Trap PQCD). If the title is true, then (1) How far is P from A (in terms of a, b, c)? and (2) How can PQ be constructed in the Euclidean way? Obviously, the trapeziums are equi-angular.

It is enough to construct $PQ$ in such a way that $\frac{AB}{PQ}=\frac{PQ}{CD}$, i.e. to construct the geometric mean of $AB$ and $CD$. Here it is a possible approach, exploiting the power of a point with respect to a circle.

![enter image description here](

1. Let $E\in CD$ be a point such that $AE\parallel BC$;
2. Let $\Gamma$ the circumcircle of $ADE$ and $CF$ (with $F\in\Gamma$) a tangent to $\Gamma$;
3. Let $G\in CD$ be such that $CG=CF$;
4. Let $P\in AD$ be such that $PG\parallel BC$;
5. Let $Q\in BC$ be such that $PQ\parallel AB$.



![enter image description here](

As an alternative way based on the same principle,

1. Let $X=AD\cap BC$;
2. Let $\Gamma$ be a circle with diameter $AD$;
3. Let $T\in\Gamma$ be such that $XT$ is tangent to $\Gamma$;
4. Let $P\in AD$ be such that $XP=CT$;
5. Let $Q\in BC$ be such that $PQ\parallel AB$.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 34a0317cd4518499cd0a3a7441b3e4de