证明：切线垂直于半径

证明：

切线垂直于过切点的半径。

下面是网上最简单的证明方法。

证明：
利用反证法。
如下图所示，直线AB和圆O切于点A，假设OA 不垂直于 AB，而 O B ⊥ A B OB \perp AB OB⊥AB，则 ∠ O B A = 90 ° \angle OBA = 90 \degree ∠OBA=90°，根据勾股定理可得斜边最长，即边OA>边OB ，但是实际上直线和圆的交点只有一个交点A，OA是半径而OB应该比半径长，因而假设不成立。

在这里插入图片描述

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/307638.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

十、方法调用的底层实现

十、方法调用的底层实现

一、方法调用分析（main方法是JVM指令执行的起点） 我们写的代码，经过编译、经过类加载的各种阶段，进入了 JVM 的运行时数据区。但作为程序员真正关心是代码的执行，代码的执行其实本质上是方法的执行，站在 JV…
阅读更多...
6、LLaVA

6、LLaVA

简介 LLaVA官网 LLaVA使用Vicuna(LLaMA-2)作为LLM f ϕ ( ⋅ ) f_\phi() fϕ​(⋅)，使用预训练的CLIP图像编码器 ViT-L/14 g ( X v ) g(X_v) g(Xv​)。 输入图像 X v X_v Xv​，首先获取feature Z v g ( X v ) Z_vg(X_v) Zv​g(Xv​)。考虑到最后一…
阅读更多...
WPF+Halcon 培训项目实战(8):WPF+Halcon初次开发

WPF+Halcon 培训项目实战(8):WPF+Halcon初次开发

前言 为了更好地去学习WPFHalcon，我决定去报个班学一下。原因无非是想换个工作。相关的教学视频来源于下方的Up主的提供的教程。这里只做笔记分享，想要源码或者教学视频可以和他联系一下。 相关链接 微软系列技术教程 WPF 年度公益课程 Halcon开发 CSD…
阅读更多...
MAC运行Windows专用软件 CrossOver v23.7.1中文版 macOS

MAC运行Windows专用软件 CrossOver v23.7.1中文版 macOS

CrossOver v23.7.1中文版是一款系统兼容软件，让您可以在 Mac 和 Linux 系统上运行 Windows 应用，不必购买 Windows 授权，不必重启系统，不必使用虚拟机。通过 CrossOver， 您可以从 dock 直接启动 Windows 应用&#xff…
阅读更多...
Android笔记（二十三）：Paging3分页加载库结合Compose的实现分层数据源访问

Android笔记（二十三）：Paging3分页加载库结合Compose的实现分层数据源访问

在Android笔记（二十二）：Paging3分页加载库结合Compose的实现网络单一数据源访问一文中，实现了单一数据源的访问。在实际运行中，往往希望不是单纯地访问网络数据，更希望将访问的网络数据保存到移动终端的SQL…
阅读更多...
pytest pytest-emoji通过表情包展示执行状态

pytest pytest-emoji通过表情包展示执行状态

pytest-emoji 是一个用于在 Pytest 测试运行期间显示 emoji 表情的插件。它可以为测试结果添加一些有趣的表情符号，以增加测试报告的可读性和趣味性。 使用 pytest-emoji 插件非常简单，只需按照以下步骤进行操作： 首先，确保已经安…
阅读更多...
【数据结构】快速排序(4种方式实现)

【数据结构】快速排序(4种方式实现)

前言：前面我们学习了几种相对比较简单的排序，今天我们要一起学习的是快速排序，我们将通过四种方式来模拟实现快排。 💖 博主CSDN主页:卫卫卫的个人主页 💞 👉 专栏分类:数据结构 👈 &#x1f4a…
阅读更多...
K-means 聚类算法分析

K-means 聚类算法分析

算法简述 K-means 算法原理 我们假定给定数据样本 X ，包含了 n 个对象 ，其中每一个对象都具有 m 个维度的属性。而 K-means 算法的目标就是将 n 个对象依据对象间的相似性聚集到指定的 k 个类簇中，每个对象属于且仅属于一个其到类簇中心距离…
阅读更多...
基于MINIST的手写数字体识别

基于MINIST的手写数字体识别

一、算法简述 网络结构设计 通过创建MnistNet类，定义了包含两个卷积层和两个全连接层的深度神经网络。这个网络的设计灵感来自于经典的CNN结构，其中卷积层用于提取图像特征，而全连接层则用于将这些特征映射到最终的类别。 卷积与池化 卷…
阅读更多...
js对象方法大全(开发必会)

js对象方法大全(开发必会)

目录 前言 assgin(对象合并) 参数 功能 返回值 测试 结果 结论 create(以源对象为原型创建新对象) 参数 功能 返回值 测试 结果 结论 defineProperties(对属性进行具体定义) 参数 功能 返回值 测试 结果 结论 defineProperty(重写或定义新属性) 参数 功…
阅读更多...
【Hive_04】分区分桶表以及文件格式

【Hive_04】分区分桶表以及文件格式

1、分区表1.1 分区表基本语法（1）创建分区表（2）分区表读写数据（3）分区表基本操作 1.2 二级分区1.3 动态分区 2、分桶表2.1 分桶表的基本语法2.2 分桶排序表 3、文件格式与压缩3.1 Hadoop压缩概述3.2 Hive文件…
阅读更多...
用轻量级ORM--Dapper实现泛型仓储

用轻量级ORM--Dapper实现泛型仓储

阅读本文你的收获 了解Dapper的适用场景了解Dapper的本质其实是一些扩展方法学会使用Dapper的扩展Domel来实现泛型仓储 一、什么是Dapper？ Dapper是一个轻量级的ORM（对象关系映射）工具，用于简化数据库操作。它和Entity Framewor…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023