Tu solución toma dos rectas, calcula su intersección y confirma que es como tú decías. Aquí está una prueba que utiliza vectores de posición para demostrar que cada línea pasa por el punto especificado $$\mathbf{p}=\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}+\mathbf{d}+\mathbf{e}}{3}.$$ Observo al final que esta prueba funciona también si hay más puntos (con un ligero cambio) y también en $3$ o más dimensiones. La prueba ciertamente funciona, pero todavía no estoy satisfecho de que sea todo lo clara que podría ser.
actualización Tengo una prueba más directa (al final) de un resultado aún más general. Por desgracia, como ocurre a veces, a medida que mejora la demostración, el resultado inicialmente sorprendente parece menos asombroso.
La afirmación es que, dados 5 puntos $\mathbf{a},\mathbf{b},\mathbf{c},\mathbf{d},\mathbf{e}$ en un círculo $\mathbf{x} \cdot \mathbf{x}=r^2$ (es decir, centrada en el origen), la recta que pasa por el punto $\mathbf{p}$ y el centroide $$\mathbf{q}=\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}}3$$ del triángulo determinado por los tres primeros es perpendicular a la recta que pasa por los puntos $\mathbf{d}$ y $\mathbf{e}.$ La primera línea, $\overline{\mathbf{pq}},$ está en la dirección del vector $\mathbf{d}+\mathbf{e}$ y la segunda línea, $\overline{\mathbf{de}},$ está en la dirección del vector $\mathbf{d}-\mathbf{e}.$ El producto punto de estos dos vectores de dirección es $\mathbf{d}\cdot \mathbf{d}-\mathbf{e}\cdot \mathbf{e}=r^2-r^2=0.$ Por lo tanto, son perpendiculares.
Generalización:
Dado $n+2$ puntos $\mathbf{a_1},\mathbf{a_2},\cdots,\mathbf{a_{n+2}},$ todos igualmente distantes del origen, considere todos $\binom{n+2}{2}$ líneas determinadas eligiendo $n$ de los puntos y tomando la línea que pasa por su centroide que interseca y es perpendicular a la línea determinada por el otro $2.$ Todas estas líneas pasan por el punto $$\frac{\mathbf{a_1}+\mathbf{a_2}+\cdots+\mathbf{a_{n+2}}}{n}$$ .
actualización Otra prueba.
El detalle que me faltaba es que la dirección perpendicular a una cuerda $\overline{\mathbf{de}}$ de una circunferencia es la que va del centro de la circunferencia al centroide $\frac{\mathbf{d}+\mathbf{e}}{2}$ del cordón. O simplemente desde el centro hacia $\mathbf{d}+\mathbf{e}.$ Si especificamos la dirección en este ya no es necesario mencionar/requerir un círculo.
Dado dado 5 puntos $\mathbf{a},\mathbf{b},\mathbf{c},\mathbf{d},\mathbf{e},$ tomamos la recta que pasa por el centroide del triángulo determinado por algún tres que está en la dirección de la suma de los otros dos. Hay diez maneras de hacerlo. CIERTO: las diez se encuentran en un punto común.
Prueba: un camino es la línea que pasa por el punto $$\mathbf{q}=\frac13(\mathbf{a}+\mathbf{b}+\mathbf{c})$$ en la dirección del vector $\mathbf{d}+\mathbf{e}.$ El punto general de esta línea tiene la forma $$\mathbf{q}+t(\mathbf{d}+\mathbf{e})=\frac13(\mathbf{a}+\mathbf{b}+\mathbf{c})+t(\mathbf{d}+\mathbf{e}).$$ El otro $9$ líneas son similares con alguna otra partición del $5$ puntos. Evidentemente, la elección $t=\frac13$ muestra que el punto $$\mathbf{p}=\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}+\mathbf{d}+\mathbf{e}}{3}$$ está en todos $10$ líneas.
Podríamos multiplicar por $3$ y sustituir el centroide por la suma de los vértices: La línea que pasa por la suma de unos tres, digamos $\mathbf{a}+\mathbf{b}+\mathbf{c}$ en la dirección de la suma de los otros dos $\mathbf{d}+\mathbf{e}$ pasa por la suma de los cinco.
Teorema : Considere cualquier $N=n+m$ puntos $\mathbf{a}_1,\mathbf{a}_2,\cdots ,\mathbf{a}_N.$ Considere todos $\binom{N}{m}$ líneas determinadas dividiéndolas en grupos disjuntos de tamaño $n$ y $m$ tomando el centroide $\mathbf{q}$ del primer grupo y la línea que lo atraviesa en la dirección del vector del origen al centroide (equivalentemente, suma) del segundo grupo. Entonces todas estas rectas son concurrentes en el punto $$\frac{\mathbf{a_1}+\mathbf{a_2}+\cdots+\mathbf{a_{N}}}{n}.$$
Si aumentamos en $n$ y sustituimos el centroide por la suma, entonces el punto de concurrencia es justo $${\mathbf{a_1}+\mathbf{a_2}+\cdots+\mathbf{a_{N}}}.$$
Podríamos necesitar descartar, o especificar qué hacer, en casos degenerados poco interesantes, como cuando un centroide está en el origen.
2 votos
Al parecer, el puesto de MSE lo es: math.stackexchange.com/a/1044401/43208
2 votos
Pista: Tal vez debería señalarse que esta concurrencia no es más que una versión hábilmente disfrazada del (trivial) resultado clásico de que las mediatrices de los lados de un triángulo son concurrentes en el centro del círculo circunscriptor del triángulo.
0 votos
@RobertBryant, gracias por la sugerencia. entiendo lo que dices. publicaré mi respuesta como respuesta.