Zeichne die Parallelen zu AB durch C und D , diese schneiden g bzw. k in C ' bzw. D ' .
Also C ' auf h.
Dann Strahlensatz etwa in der Form
C'P : PA = C'D : AB = DP : PB | * AB
<=> AB*C'P : PA = C'D = AB*DP : PB
und es ist ja wegen der Dreiecksungleichung
entweder CD≥CD' oder CD≥DC' #
(So wie du gezeichnet hast das zweite.)
Und aus C'D = AB*DP : PB bekommst du
wegen DP:PB ≥ 1 sofort C'D ≥ AB.
Und wegen # also auch CD ≥ AB.