Philo line

Short description: Type of line segment

In geometry, the Philo line is a line segment defined from an angle and a point inside the angle as the shortest line segment through the point that has its endpoints on the two sides of the angle. Also known as the Philon line, it is named after Philo of Byzantium, a Greek writer on mechanical devices, who lived probably during the 1st or 2nd century BC. Philo used the line to double the cube; because doubling the cube cannot be done by a straightedge and compass construction, neither can constructing the Philo line.

Geometric characterization

The philo line of a point P and angle DOE, and the defining equality of distances from P and Q to the ends of DE, where Q is the base of a perpendicular from the apex of the angle

The defining point of a Philo line, and the base of a perpendicular from the apex of the angle to the line, are equidistant from the endpoints of the line. That is, suppose that segment [math]\displaystyle{ DE }[/math] is the Philo line for point [math]\displaystyle{ P }[/math] and angle [math]\displaystyle{ DOE }[/math], and let [math]\displaystyle{ Q }[/math] be the base of a perpendicular line [math]\displaystyle{ OQ }[/math] to [math]\displaystyle{ DE }[/math]. Then [math]\displaystyle{ DP=EQ }[/math] and [math]\displaystyle{ DQ=EP }[/math].

Conversely, if [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math] are any two points equidistant from the ends of a line segment [math]\displaystyle{ DE }[/math], and if [math]\displaystyle{ O }[/math] is any point on the line through [math]\displaystyle{ Q }[/math] that is perpendicular to [math]\displaystyle{ DE }[/math], then [math]\displaystyle{ DE }[/math] is the Philo line for angle [math]\displaystyle{ DOE }[/math] and point [math]\displaystyle{ P }[/math].

Algebraic Construction

A suitable fixation of the line given the directions from [math]\displaystyle{ O }[/math] to [math]\displaystyle{ E }[/math] and from [math]\displaystyle{ O }[/math] to [math]\displaystyle{ D }[/math] and the location of [math]\displaystyle{ P }[/math] in that infinite triangle is obtained by the following algebra:

The point [math]\displaystyle{ O }[/math] is put into the center of the coordinate system, the direction from [math]\displaystyle{ O }[/math] to [math]\displaystyle{ E }[/math] defines the horizontal [math]\displaystyle{ x }[/math]-coordinate, and the direction from [math]\displaystyle{ O }[/math] to [math]\displaystyle{ D }[/math] defines the line with the equation [math]\displaystyle{ y{{=}}mx }[/math] in the rectilinear coordinate system. [math]\displaystyle{ m }[/math] is the tangent of the angle in the triangle [math]\displaystyle{ DOE }[/math]. Then [math]\displaystyle{ P }[/math] has the Cartesian Coordinates [math]\displaystyle{ (P_x,P_y) }[/math] and the task is to find [math]\displaystyle{ E=(E_x,0) }[/math] on the horizontal axis and [math]\displaystyle{ D=(D_x,D_y)=(D_x,mD_x) }[/math] on the other side of the triangle.

The equation of a bundle of lines with inclinations [math]\displaystyle{ \alpha }[/math] that run through the point [math]\displaystyle{ (x,y)=(P_x,P_y) }[/math] is

[math]\displaystyle{ y=\alpha(x-P_x)+P_y. }[/math]

These lines intersect the horizontal axis at

[math]\displaystyle{ \alpha(x-P_x)+P_y=0 }[/math]

which has the solution

[math]\displaystyle{ (E_x,E_y)=\left(P_x-\frac{P_y}{\alpha},0\right). }[/math]

These lines intersect the opposite side [math]\displaystyle{ y=mx }[/math] at

[math]\displaystyle{ \alpha(x-P_x)+P_y=mx }[/math]

which has the solution

[math]\displaystyle{ (D_x,D_y)=\left(\frac{\alpha P_x-P_y}{\alpha-m},m\frac{\alpha P_x-P_y}{\alpha-m}\right). }[/math]

The squared Euclidean distance between the intersections of the horizontal line and the diagonal is

[math]\displaystyle{ ED^2 = d^2=(E_x-D_x)^2+(E_y-D_y)^2 = \frac{m^2(\alpha P_x-P_y)^2(1+\alpha^2)}{\alpha^2(\alpha-m)^2}. }[/math]

The Philo Line is defined by the minimum of that distance at negative [math]\displaystyle{ \alpha }[/math].

An arithmetic expression for the location of the minimum is obtained by setting the derivative [math]\displaystyle{ \partial d^2/\partial \alpha=0 }[/math], so

[math]\displaystyle{ -2m^2\frac{(P_x\alpha -P_y)[(mP_x-P_y)\alpha^3+P_x\alpha^2-2P_y\alpha+P_ym]}{\alpha^3 (\alpha-m)^3}=0 . }[/math]

So calculating the root of the polynomial in the numerator,

[math]\displaystyle{ (mP_x-P_y)\alpha^3+P_x\alpha^2-2P_y\alpha+P_ym=0 }[/math]

determines the slope of the particular line in the line bundle which has the shortest length. [The global minimum at inclination [math]\displaystyle{ \alpha=P_y/P_x }[/math] from the root of the other factor is not of interest; it does not define a triangle but means that the horizontal line, the diagonal and the line of the bundle all intersect at [math]\displaystyle{ (0,0) }[/math].]

[math]\displaystyle{ -\alpha }[/math] is the tangent of the angle [math]\displaystyle{ OED }[/math].

Inverting the equation above as [math]\displaystyle{ \alpha_1=P_y/(P_x-E_x) }[/math] and plugging this into the previous equation one finds that [math]\displaystyle{ E_x }[/math] is a root of the cubic polynomial

[math]\displaystyle{ mx^3+(2P_y-3mP_x)x^2+3P_x(mP_x-P_y)x-(mP_x-P_y)(P_x^2+P_y^2) . }[/math]

So solving that cubic equation finds the intersection of the Philo line on the horizontal axis. Plugging in the same expression into the expression for the squared distance gives

[math]\displaystyle{ d^2= \frac{P_y^2+x^2-2xP_x+P_x^2}{(P_y+mx-mP_x)^2} x^2m^2 . }[/math]

Location of [math]\displaystyle{ Q }[/math]

Since the line [math]\displaystyle{ OQ }[/math] is orthogonal to [math]\displaystyle{ ED }[/math], its slope is [math]\displaystyle{ -1/\alpha }[/math], so the points on that line are [math]\displaystyle{ y=-x/\alpha }[/math]. The coordinates of the point [math]\displaystyle{ Q=(Q_x,Q_y) }[/math] are calculated by intersecting this line with the Philo line, [math]\displaystyle{ y=\alpha(x-P_x)+P_y }[/math]. [math]\displaystyle{ \alpha(x-P_x)+P_y=-x/\alpha }[/math] yields

[math]\displaystyle{ Q_x=\frac{(\alpha P_x-P_y)\alpha}{1+\alpha^2} }[/math]

[math]\displaystyle{ Q_y=-Q_x/\alpha = \frac{P_y-\alpha P_x}{1+\alpha^2} }[/math]

With the coordinates [math]\displaystyle{ (D_x,D_y) }[/math] shown above, the squared distance from [math]\displaystyle{ D }[/math] to [math]\displaystyle{ Q }[/math] is

[math]\displaystyle{ DQ^2 = (D_x-Q_x)^2+(D_y-Q_y)^2 = \frac{(\alpha P_x-P_y)^2(1+\alpha m)^2}{(1+\alpha^2)(\alpha-m)^2} }[/math].

The squared distance from [math]\displaystyle{ E }[/math] to [math]\displaystyle{ P }[/math] is

[math]\displaystyle{ EP^2 \equiv (E_x-P_x)^2+(E_y-P_y)^2 = \frac{P_y ^2(1+\alpha^2)}{\alpha^2} }[/math].

The difference of these two expressions is

[math]\displaystyle{ DQ^2-EP^2 = \frac{[(P_xm+P_y)\alpha^3+(P_x-2P_ym)\alpha^2-P_ym] [(P_xm-P_y)\alpha^3+P_x\alpha^2-2P_y\alpha+P_ym]}{\alpha^2(1+\alpha^2)(a-m)^2} }[/math].

Given the cubic equation for [math]\displaystyle{ \alpha }[/math] above, which is one of the two cubic polynomials in the numerator, this is zero. This is the algebraic proof that the minimization of [math]\displaystyle{ DE }[/math] leads to [math]\displaystyle{ DQ=PE }[/math].

Special case: right angle

The equation of a bundle of lines with inclination [math]\displaystyle{ \alpha }[/math] that run through the point [math]\displaystyle{ (x,y)=(P_x,P_y) }[/math], [math]\displaystyle{ P_x,P_y\gt 0 }[/math], has an intersection with the [math]\displaystyle{ x }[/math]-axis given above. If [math]\displaystyle{ DOE }[/math] form a right angle, the limit [math]\displaystyle{ m\to\infty }[/math] of the previous section results in the following special case:

These lines intersect the [math]\displaystyle{ y }[/math]-axis at

[math]\displaystyle{ \alpha(-P_x)+P_y }[/math]

which has the solution

[math]\displaystyle{ (D_x,D_y)=(0,P_y-\alpha P_x). }[/math]

The squared Euclidean distance between the intersections of the horizontal line and vertical lines is

[math]\displaystyle{ d^2=(E_x-D_x)^2+(E_y-D_y)^2 = \frac{(\alpha P_x-P_y)^2(1+\alpha^2)}{\alpha^2}. }[/math]

The Philo Line is defined by the minimum of that curve (at negative [math]\displaystyle{ \alpha }[/math]). An arithmetic expression for the location of the minimum is where the derivative [math]\displaystyle{ \partial d^2/\partial \alpha=0 }[/math], so

[math]\displaystyle{ 2\frac{(P_x\alpha -P_y)(P_x\alpha^3+P_y)}{\alpha^3}=0 }[/math]

equivalent to

[math]\displaystyle{ \alpha = -\sqrt[3]{P_y/P_x} }[/math]

Therefore

[math]\displaystyle{ d=\frac{P_y-\alpha P_x}{|\alpha|}\sqrt{1+\alpha^2} =P_x[1+(P_y/P_x)^{2/3}]^{3/2}. }[/math]

Alternatively, inverting the previous equations as [math]\displaystyle{ \alpha_1=P_y/(P_x-E_x) }[/math] and plugging this into another equation above one finds

[math]\displaystyle{ E_x=P_x+P_y\sqrt[3]{P_y/P_x}. }[/math]

Doubling the cube

The Philo line can be used to double the cube, that is, to construct a geometric representation of the cube root of two, and this was Philo's purpose in defining this line. Specifically, let [math]\displaystyle{ PQRS }[/math] be a rectangle whose aspect ratio [math]\displaystyle{ PQ:QR }[/math] is [math]\displaystyle{ 1:2 }[/math], as in the figure. Let [math]\displaystyle{ TU }[/math] be the Philo line of point [math]\displaystyle{ P }[/math] with respect to right angle [math]\displaystyle{ QRS }[/math]. Define point [math]\displaystyle{ V }[/math] to be the point of intersection of line [math]\displaystyle{ TU }[/math] and of the circle through points [math]\displaystyle{ PQRS }[/math]. Because triangle [math]\displaystyle{ RVP }[/math] is inscribed in the circle with [math]\displaystyle{ RP }[/math] as diameter, it is a right triangle, and [math]\displaystyle{ V }[/math] is the base of a perpendicular from the apex of the angle to the Philo line.

Let [math]\displaystyle{ W }[/math] be the point where line [math]\displaystyle{ QR }[/math] crosses a perpendicular line through [math]\displaystyle{ V }[/math]. Then the equalities of segments [math]\displaystyle{ RS=PQ }[/math], [math]\displaystyle{ RW=QU }[/math], and [math]\displaystyle{ WU=RQ }[/math] follow from the characteristic property of the Philo line. The similarity of the right triangles [math]\displaystyle{ PQU }[/math], [math]\displaystyle{ RWV }[/math], and [math]\displaystyle{ VWU }[/math] follow by perpendicular bisection of right triangles. Combining these equalities and similarities gives the equality of proportions [math]\displaystyle{ RS:RW = PQ:QU = RW:WV = WV:WU = WV:RQ }[/math] or more concisely [math]\displaystyle{ RS:RW = RW:WV = WV:RQ }[/math]. Since the first and last terms of these three equal proportions are in the ratio [math]\displaystyle{ 1:2 }[/math], the proportions themselves must all be [math]\displaystyle{ 1:\sqrt[3]{2} }[/math], the proportion that is required to double the cube.

Since doubling the cube is impossible with a straightedge and compass construction, it is similarly impossible to construct the Philo line with these tools.

Minimizing the area

Given the point [math]\displaystyle{ P }[/math] and the angle [math]\displaystyle{ DOE }[/math], a variant of the problem may minimize the area of the triangle [math]\displaystyle{ OED }[/math]. With the expressions for [math]\displaystyle{ (E_x,E_y) }[/math] and [math]\displaystyle{ (D_x,D_y) }[/math] given above, the area is half the product of height and base length,

[math]\displaystyle{ A = D_yE_x/2 =\frac{m(\alpha P_x-P_y)^2}{2\alpha(\alpha-m)} }[/math].

Finding the slope [math]\displaystyle{ \alpha }[/math] that minimizes the area means to set [math]\displaystyle{ \partial A/\partial \alpha=0 }[/math],

[math]\displaystyle{ - \frac{m(\alpha P_x-P_y)[(mP_x-2P_y)\alpha+P_ym]}{2\alpha^2(\alpha-m)^2}=0 }[/math].

Again discarding the root [math]\displaystyle{ \alpha = P_y/P_x }[/math] which does not define a triangle, the slope is in that case

[math]\displaystyle{ \alpha = -\frac{mP_y}{mP_x-2P_y} }[/math]

and the minimum area

[math]\displaystyle{ A = \frac{2P_y(mP_x-P_y)}{m} }[/math].

Further reading

• Neovius, Eduard (1888). "Ueber eine specielle geometrische Aufgabe des Minimums". Mathematische Annalen 31 (3): 359–362. doi:10.1007/BF01206220. https://zenodo.org/record/2474460. 
• "Sur un minimum". Mathesis: 68–69. 1907. 
• Wetterling, W. W. E. (1996). "Philon's line generalized: an optimization problem from geometry". Journal of Optimization Theory and Applications 90 (3): 517–521. doi:10.1007/BF02189793. http://doc.utwente.nl/98526/1/art_10.1007_BF02189793.pdf. 

External links

• Weisstein, Eric W.. "Philo Line". http://mathworld.wolfram.com/PhiloLine.html.