test if a pair of points is harmonic conjugate to another pair of points
AreHarmonic(A, B, C, F)
A, B, C, F
The routine returns true if C and F are harmonic conjugates of each other with respect to A and B; false if C and F are not harmonic conjugates; and FAIL if it cannot determine whether C and F are harmonic conjugates.
If A, B, C, F are four collinear points such that the cross-ratio(AB,CF) = -1 (so that C and F divide AB one internally and the other externally in the same numerical ratio), the segment AB is said to be divided harmonically by C and F. The points C and F are called harmonic conjugates of each other with respect to A and B, and the four points A, B, C, F are said to constitute a harmonic range.
The command with(geometry,AreHarmonic) allows the use of the abbreviated form of this command.
AreCollinear: "hint: could not determine if 3*a-63/11 is zero"
Error, (in geometry:-CrossRatio) unable to determine if 3*a-63/11 is zero
From the above hint, we see that the condition for F to be conjugate harmonic of C is a = 21/11
a ≔ 2111:
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.