In triangle $ABC$, the coordinates of the vertices are $A(0, 0)$, $B(6, 0)$, and $C(4, 3)$. Use Heron's formula to find the area of $\triangle ABC$, and then verify the result using the distance formula and the properties of triangles. Let's think step by step and output the final answer within \boxed{}.
user