1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<html>
<head><title>The_Falling_Body_Model.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>The Falling Body Model</h2>
<p>
<img src=pisa.gif><p>
One particularly famous and very simple model is the equation of a
falling body: the distance d an object falls is proportional to the
square of the time t. If the time is measured in seconds and the
distance in feet, the equation relating these two is
<pre>
2
d = 16t
</pre>
<p>
This equation is a <b>model</B> of falling objects. It can be used to
predict how long it takes a cannonball to fall from the top of a 200
foot tower (3.5 seconds). This might be important if your product
is designed to drop cannonballs on moving targets.<p>
Click <a href="Corroborating_Models.html">here</a> to continue
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
