
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system

In an isosceles trapezoid \(ABCD\), the larger base \(AD = 12\) and \(AB = 6\). Find the distance from point \(O\), the intersection of the diagonals, to point \(K\), the intersection of the extensions of the lateral sides, given that the extensions of the lateral sides intersect at a right angle.

Present the answer in LaTex format: \boxed{Your answer}
user