Some Geometric Properties of the Yff Points of a Triangle

Technische Samenvatting: Enkele Geometrische Eigenschappen van de Yff-punten van een Driehoek

Probleemstelling
De Yff-punten ($Y_1$ en $Y_2$) van een driehoek, geïntroduceerd door Peter Yff in 1963, worden gedefinieerd door de snijpunten van ceviënen die worden geconstrueerd vanuit punten op de zijden van de driehoek, zodanig dat specifieke segmenten gelijk zijn aan een reële wortel $u$ van de kubische vergelijking $x^3 = (a-x)(b-x)(c-x)$. Ondanks hun definitie bevat de literatuur zeer weinig feiten over deze punten buiten de oorspronkelijke bevindingen van Yff, die hun bestaan, hun status als isotomische conjugaten, en de orthogonaliteit van de lijn die hen verbindt met de lijn die het incenter ($X_1$) en het omcenter ($X_3$) verbindt, vaststelden. Het artikel behandelt het gebrek aan bekende geometrische eigenschappen betreffende Yff-punten in driehoeken van specifieke vormen en configuraties.

Methodologie
De auteurs hanteren een benadering van "computer-ontdekte wiskunde", waarbij gebruik wordt gemaakt van de software Mathematica om geometrische vermoedens te genereren en te verifiëren. Het proces bestaat uit twee afzonderlijke fasen:

1. Numerieke Exploratie: De auteurs genereren willekeurige numerieke driehoeken en specifieke klassen van driehoeken (bijv. rechthoekige, heptagonale, rekenkundige progressie). Ze controleren numeriek op geometrische samenhangen (parallellisme, concurreren, loodrechtheid, gelijke hoeken) waarbij de Yff-punten en diverse bekende driehoekscentra ($X_n$) betrokken zijn voor $n, m \in [1, 30]$.
2. Symbolische Verificatie: Zodra een eigenschap numeriek is geïdentificeerd (geldig tot 10 decimalen), schakelen de auteurs over naar exacte symbolische berekening. Ze maken gebruik van barycentrische coördinaten, vectorkruisproducten voor lijnintersecties, en eliminatietheorie (specifiek Gröbner-bases en de Eliminate-functie) om de resultaten formeel te bewijzen. Dit houdt in dat de algebraïsche definitie van $u$ wordt gesubstitueerd (of $u$ wordt geëlimineerd via de definiërende kubische vergelijking) om te verifiëren dat geometrische condities identiek standhouden voor de specifieke driehoeksklassen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert een reeks stellingen die nieuwe geometrische eigenschappen van Yff-punten vaststellen over diverse classificaties van driehoeken:

• Algemene Eigenschappen: Het artikel bevestigt opnieuw dat $Y_1$ en $Y_2$ isotomische conjugaten zijn en dat $Y_1Y_2 \perp X_1X_3$. Het stelt de open vraag of er een puur synthetisch bewijs bestaat voor het laatstgenoemde.
• Rechthoekige Driehoeken:
  • In een rechthoekige driehoek met de rechte hoek bij $B$, zijn de lijnen $AY_2$, $CY_1$ en $X_8X_{20}$ concurrent.
  • In een rechthoekige driehoek met $\angle B = 90^\circ$ en $\angle C = 30^\circ$, zijn de lijnen $AY_1$, $BY_2$ en $X_8X_{21}$ concurrent.
  • In een rechthoekige drie driehoek met de rechte hoek bij $B$, is de lijn $BX_8$ loodrecht op $Y_1Y_2$.
• 60°-Driehoeken: In een driehoek met $\angle C = 60^\circ$, zijn de lijnen $AY_1$, $BY_2$ en $X_3X_8$ concurrent.
• Heptagonale Driehoeken: (Driehoeken met hoeken $\pi/7, 2\pi/7, 4\pi/7$)
  • Als $Y'_1$ de reflectie van $Y_1$ is over zijde $BC$, dan is $X_1Y_2 \parallel Y'_1C$.
  • Specifieke hoekrelaties worden vastgesteld, zoals $\angle CX_1Y_2 + \angle X_1CY_1 = \pi/7$ en $\angle CX_1Y_2 = \angle Y_1CX_3$.
  • Verschillende andere hoengelijkheidheden met betrekking tot de centra $X_5, X_{21}, X_{28}$ worden opgemerkt, hoewel bewijzen worden weggelaten vanwege computationele complexiteit.
• Harmonische Driehoeken: Een driehoek is "harmonisch" (één zijde is het harmonisch gemiddelde van de andere twee) dan en slechts dan als de lijn $Y_1Y_2$ een hoekpunt passeert, het incenter ($X_2$) passeert, of een zijde doormidden snijdt. In dergelijke gevallen valt $Y_1Y_2$ samen met een middellijn.
• Rekenkundige Progressie (AP) Driehoeken: In een driehoek waar de zijden in een rekenkundige progressie liggen ($2a = b+c$), is de lijn $AX_1$ parallel aan $Y_1Y_2$.
• Dubbel-hoek Driehoeken: In een driehoek waar $\angle A = 2\angle B$, zijn de lijnen $BY_2$, $CX_2$ en de reflectie van $AY_2$ over $BC$ concurrent.
• Isosceele Driehoeken: Het product van de oppervlakten van de driehoeken gevormd door $Y$ en de zijden ($K_b K_c$) is gelijk aan het kwadraat van de derde oppervlakte ($K_a^2$) dan en slechts dan als de driehoek isosceel is met $AB=AC$.
• Oppervlakte van Ceviaanse Driehoeken: De auteurs leveren een puur geometisch bewijs voor Yffs formule betreffende de oppervlakte van de ceviaanse driehoek van $Y_1$ (en $Y_2$), waarbij zij aantonen dat deze gelijk is aan $u^3 / (2R)$, waarbij $R$ de omradius is.
• Speciale Punten: Het artikel identificeert het middelpunt van $Y_1Y_2$ en het middelpunt van de conische sectie die door $A, B, C, Y_1, Y_2$ gaat, als nieuwe driehoekscentra die momenteel niet in de Encyclopedia of Triangle Centers (ETC) zijn opgenomen.

Betekenis en Claims
De auteurs kaderen hun bijdrage bescheiden als de ontdekking van "enkele geometrische eigenschappen" die voorheen onbekend waren. De betekenis ligt in het uitbreiden van de beperkte kennis over Yff-punten, die sinds 1963 grotendeels statisch is gebleven. Het artikel erkent expliciet dat de initiële bevindingen numeriek waren en dat de formele bewijzen zwaar leunen op computeralgebra-systemen, wat resulteert in "enorme" berekeningen die een intuïtieve synthetische elegantie missen. Bijgevolg concludeert het artikel door open vragen te stellen over het bestaan van "zuiver synthetische geometrische bewijzen" voor de gepresenteerde stellingen, met name voor de resultaten betreffende de rechthoekige en heptagonale driehoeken. Het werk dient als een catalogus van geverifieerde eigenschappen voor specifieke klassen van driehoeken, en nodigt uit tot verdere theoretische onderzoek naar de onderliggende geometrie.