19.02.2013 Views

Blaga P. Lectures on the differential geometry of - tiera.ru

Blaga P. Lectures on the differential geometry of - tiera.ru

Blaga P. Lectures on the differential geometry of - tiera.ru

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

194 Chapter 5. Special classes <strong>of</strong> surfaces<br />

Figure 5.4: The tangent developable <strong>of</strong> Viviani’s temple<br />

We shall assume, without restricting <strong>the</strong> generality, that <strong>the</strong> normal vector N is a versor.<br />

By differentiating <strong>the</strong> equati<strong>on</strong> (5.1.15) with respect to λ, we obtain<br />

N ′ (λ) · r + D ′ (λ) = 0. (5.1.16)<br />

According to <strong>the</strong> <strong>the</strong>ory <strong>of</strong> envelopes <strong>of</strong> <strong>the</strong> families <strong>of</strong> surfaces, <strong>the</strong> equati<strong>on</strong>s (5.1.15)<br />

and (5.1.16) determine <strong>the</strong> envelope <strong>of</strong> <strong>the</strong> family <strong>of</strong> planes, if such an envelope exists 2 .<br />

The characteristic curves <strong>of</strong> <strong>the</strong> family <strong>of</strong> planes are straight lines, obtained as intersecti<strong>on</strong>s<br />

between <strong>the</strong> planes <strong>of</strong> equati<strong>on</strong>s (5.1.15) and (5.1.16), respectively. Clearly,<br />

<strong>the</strong>se characteristics exist <strong>on</strong>ly if <strong>the</strong> planes <strong>of</strong> <strong>the</strong> family are not parallel, which we<br />

admit to be t<strong>ru</strong>e in our case.<br />

The points <strong>of</strong> <strong>the</strong> envelope have to verify, also, <strong>the</strong> equati<strong>on</strong> obtained from (5.1.16),<br />

by differentiating <strong>on</strong>ce more with respect to λ, i.e.<br />

We have, thus, <strong>the</strong> following system <strong>of</strong> equati<strong>on</strong>s:<br />

⎧<br />

N(λ) · r + D(λ) = 0<br />

⎪⎨<br />

N<br />

⎪⎩<br />

′ (λ) · r + D ′ (λ) = 0<br />

N ′′ (λ) · r + D ′′ (λ) = 0.<br />

N ′′ (λ) · r + D ′′ (λ) = 0. (5.1.17)<br />

(5.1.18)<br />

2 As a matter <strong>of</strong> fact, <strong>the</strong>se equati<strong>on</strong>s describe <strong>the</strong> discriminant set, including, also, <strong>the</strong> singular points<br />

<strong>of</strong> <strong>the</strong> surfaces from <strong>the</strong> family. However, in this particular case, <strong>the</strong> surfaces are planes and <strong>the</strong>y have no<br />

singular points whatsoever.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!